travis: use boost ppa