Cross file template type checking - check that components are passed all declared props

[octref]

Needed for #1596.

Assume Child.vue,

<script>
export default {
  props: ['foo', 'bar']
}
</script>

and Parent.vue,

<script>
import Child from './Child.vue'

export default {
  components: {
    Child
  },
  props: ['foo', 'bar']
}
</script>

In Parent.vue, these diagnostics should be shown:

<template>
  <!--Missing `foo` and `bar` -->
  <child></child>

  <!--Missing `bar` -->
  <child :foo="foo"></child>

  <!--Missing `bar` -->
  <!--`baz` is not defined in `Child.vue` -->
  <child :foo="foo" :baz="bar"></child>
</template>

[yoyo930021]

Sometimes we don't need to have prop
When

export default {
  props: {
    active: {
      type: Boolean,
      default: true
    }
  }
}

This commit cannot detect it.

[octref]

@yoyo930021 Good catch!

---

Update: Are you sure? This seems to work fine for me:

Showing diagnostics:

Showing no diagnostics:

[yoyo930021]

@yoyo930021 Good catch!

Update: Are you sure? This seems to work fine for me:

Showing diagnostics:

Showing no diagnostics:

When I use default in prop,
I want to allow misses this prop in template.
Like ensure compatibility

[octref]

I'll fix it in #2141.