Add execute permission to push-javadoc-to-gh-pages.sh