[boost] Reading DOT files with Boost.Graph