Improve Travis-CI settings.