Adding stuff for Travis CI