Update Travis CI, since develop branch now deleted