The graph-rewriting-gl package

Once a graph rewriting system has been specified using the graph-rewriting library this package can be
used to create an application that allows to experiment with this system by interactively applying the
rewrite rules manually on the graph.