Add a Travis-CI file for continuous integration