Add a PPA for newer boost libs; use it.