Experimenting with a Travis-CI integration test build