use our own copy of boost for travis
The version in 12.04 is too old