Clean up conf.py

now that tables are fixed in the new theme, we don't need to
forcibly revert to the old one, so delete that. Also remove an extension
(sphinx.ext.ifconfig) that we weren't using.
Fix all warnings thrown by `make html`