simple bash script for pushing master changes to github pages (equivalent to publishing it, in this case)