Create push-docs alias for ghp-import

Copies a sphinx build to the gh-page branch and pushes
Merge branch 'master' into mac