simproc API : extend rewrite_targeted

[rossduncan]

improve REWRITE_TARGETTED by replacing the targeting function f : G --> V(g) with a function returning a partial dictionary of targets f : G --> (V(r) --> V(g)) which first tries to match all the keys in the dictionary (vertices in the rule) with their values (vertices in the graph), before attempting to match the rest of the rule.