external libraries: update to boost-1.56