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...