travis: Ubuntu docs say do-release-upgrade is installed by default; but it isn't on travis.