Fix doc infra

As it turned out (issue #305) some things might look differently when the docs are rendered using the default theme and the theme readthedocs.org uses (btw, I was still able to see that NB in the locally rendered docs using the installed sphinx_rtd_theme).

This PR tries to use the sphinx_rtd_theme if it's locally available.