Uploaded Travis CI stuff. Dunno if it will work...