travis.yml: use BOOST PPA