Improve push script.

Use the remote master to create gh-pages instead of pushing the local master again.

This avoids unnecessary network chatter and is guaranteed to keep stuff in sync on origin even if the initial push to master fails.