[Boost-users] Adding additional property in Boost graph object.