travis: use boost from ppa

This speeds up the build process a lot.