Using Travis CI for continuous integration