Have Travis download Boost-1.55