First version of the annotator#15

RaoulSchaffranek wants to merge 2 commits intomasterruntimeverification/ethdebug.py:masterfrom

raoul/annotatorruntimeverification/ethdebug.py:raoul/annotatorCopy head branch name to clipboard