Refactor Makefile to separate generic stuff out.
Travis: abandon PPA in favour of official nightly.