Travis: abandon PPA in favour of official nightly.