CI improvements

* Run the build on Travis CI