Adding push from Travis CI to GitHub Pages.