Repository moved to github and travis-ci