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.
Use this branch in push.sh for testing purposes.
Dummy content change that should end up in gh-pages if push.sh works.