[Fix #4] Deploy to Github pages from Travis CI