travis: add a PPA for Boost