travis-ci: give up wget and try apt-get.