Add the PPA on Ubuntu, always:

Per discussion in (Trac: #1377), we should always add the PPA on
Ubuntu, otherwise things will break.  The user can opt-out of it,
unless they're installing cluster.