more verbose apt-get in travis to avoid potential timeouts