This adds several pieces for doc creation:
* a script to automate fetching the GAE SDK,
* updates `doc-build` to fetch the SDK and use sphinx,
* a dummy `django_settings` module where needed,
* a `tox` target to build, and
* use of `ghp-import` to push the changes into the gh-pages branch.