Use the remote master to create gh-pages.

This avoids unnecessary network chatter and is guaranteed to keep
stuff in sync on origin even if the initial push to master fails.
Merge pull request #80 from mkantor/improve-push-script

Improve push script.