Specification of a Programming Support Environment by Graph Grammars