Travis configuration file for continuous integration