Better travis-CI configuration file