Travis, download and use Boost 1.56.0