Switching CI environment to Travis