Experimenting with Travis CI integration