[WIP-not ready to merge] Update boost

This is a patch to update boost to the latest version, 1.56.0.