Configuration file of Travis CI - used for continuous integration