Refine Travis-CI settings.