Add files to let the project work with Travis CI