Make publish update gh-pages only in the local repository.

This is better since "git push" would then send updates to origin for both
master and gh-pages at the same time.
Make sphinx use version and date data from setup.py.

This also keeps them fresh after more git commits.