Update boost version to 1.56 and explicitly gmp3.