Use Travis CI for continuous integration

* .travis.yml: New file.