Use Furo theme for documentation (#12348)
Current readthedoc theme cannot fully utilize the width of browser especially
when you are using a wide screen. I am choosing Furo since it's quite popular in
python community (pip, black, etc).
Other changes:
* Use mypy instead of Mypy
* Move introduction to index page, which makes better impression for newcomers.
Closes #12374