Initial Travis CI test (probably broken)