Deprecate options.display.mpl_style
Matplotlib now has support for enabling different styles, we don't use this anymore in our docs, and it only gives problems to keep supporting this with newer matplotlib versions (see eg #11727).

So to raise @TomAugspurger idea there in an issue: let's just deprecate it?

@sinhrks @jreback 
