Fixed issues with bob.core.random (by adding boost 1.56 headers to project)