Travis: less verbose apt-get