Travis: non interactive debian dist-upgrade.