[withWidth] Add TypeScript definitions for options

[anthotsang]

• [ ✔️ ] I have followed (at least) the PR section of the contributing guide.

[oliviertassinari]

@anthotsang I think that we will deprecate this higher-order component, at some point, for the useMediaQuery hook. What do you think of this move?

[anthotsang]

@oliviertassinari
I think I'd be happy to see a hook version once hooks are officially released. Although I would prefer to still keep withWidth HoC to not have to prematurely rewrite things using hooks when upgrading MUI versions.

React's general attitude towards hooks seems to be that it'll be better in the long term but it's best to keep support for HoCs to not break everyone's working code. I think the HoC could just be a wrapper on the hook if at some point it becomes difficult to keep maintaining both, just for backwards compatibility.

[oliviertassinari]

@anthotsang The hook already exists https://material-ui.com/layout/use-media-query/. Ok, thanks for the feedback.

[oliviertassinari]

@anthotsang Thank you :)