Tweak Travis-CI settings