Use `exercise` and `proof` extensions

[shlff]

Hi @jlperla I suggest we use the exercise and proof extensions:

https://manual.quantecon.org/styleguide/admonitions.html

[jlperla]

Sounds great. We can give it a shot at some point. I seem to remember some layout issues before, but we can retry this summer.