Merge branch 'bugfix/graphviz-read-graph-properties' into 'master'

Fix dot graph reader

Closes #450

See merge request !35

src/boost-workaround/boost/graph/graphviz.hpp

@@ -805,8 +805,7 @@ class mutate_graph_impl : public mutate_graph
   {
     if (m_ignore_gp.find(key) != m_ignore_gp.end())
         return;
-    /* RG: pointer to graph prevents copying */
-    put(key, dp_, &graph_, value);
+    put(key, dp_, graph_property_tag(), value);
   }