#2 pointer error while matching history

[Sascha Lange]

in class CHistoryMatching:
when using the resolver to match some found instances
of the same template: if it's neccessary to delete
more than one history, the deletion loop may produce
an erase on a bad pointer (due to pointers to inner
structure of the history vector!!!)

historylist
p1-> a
p2-> b

if the history list is implemented using a vector, and
is erased first, p2 is definetly invalid!