Use an implicit rule to generate dependency files.

Also sorted the includes of those dependency files.
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...
Certificates can now be pickled.