Tweaking travis configuration for clarity.