Changes to Travis-CI configuration