Added Travis CI settings again