Infrastructure: make Travis CI to push changes to gh-pages