memplot: move great deal of chunks to header;
symexec: add clearing of the annotations after the restart;
AnnotatedCFG: add helper function for clearing the annotations;
tests: minor change in regression test;
termination: helper function for outputting the shape to dot file.