Force theme.js and theme.css, even the READTHEDOCS env var is set.

This is an ugly temporary hack in use until we can customize the
new RTD theme from conf.py.  Then, we can just use the default
theme.