use Travis CI for continuous integration