Ditch outdated Ubuntu PPA docs to avoid misguiding people

It's no longer possible to create daily build PPAs, so remove the documentation on doing so.