added MarkedMetricGraph, difference_of_marking and GraphMap.inverse()