use ppa for boost for travis
The version in 12.04 is too old