scripts for building docs on docs.python.org