Switch out to a different PPA for some dependencies.

That new PPA seems dedicated to providing backports for older versions of
Ubuntu, rather than supporting just what this person needs, as the one we
were using before this commit. So I hope it's more stable...