Adding stuff for TravisCI