Fix docs generation

readthedocs apparently now requires a config file and doesn't assume a default configuration anymore. Add a new configuration file to cajole readthedocs into behaving again.

Tested only fairly lightly in the sense that I pushed to a branch on origin and verified it unstuck the build, but I can't pretend this is expertly crafted.

--js