scripts for building documentation on docs.python.org