Add simple push-gh-pages.sh script

[#73478504]