travis: use boost from ppa