Remove the Travis-CI stuff.