Remove key prop from JSX props type

[mununki]

• Remove the key prop from the props type
• Add magic React.addKeyPropJsx.addKeyProp for the type checking

[mununki]

I noticed that type domProps has the key: string too. It is used for the lowercase such as <div key="k" />. Is it also needed to be removed? https://github.com/rescript-lang/rescript-react/blob/46944b490ee1923cfb69fa5ef0bd3095f93d18de/src/ReactDOM.res#L58

[mununki]

Does the lowercase have the same context? rescript-lang/rescript#5646 (comment)

[mununki]

I think the lowercase wouldn't be a problem, because it is still use the @deriving(abstract).

ReactDOMRe.createDOMElementVariadic("div", ~props=ReactDOMRe.domProps(~key="k", ()), []),

[cristianoc]

I think lowercase is OK

[cristianoc]

Would you update the spec too?

[mununki]

Would you update the spec too?

0fbf9a7

[cristianoc]

This is great.
Anything missing?

[mununki]

This is great. Anything missing?

Thanks.
No, it seems done.