stop after not covering new code in specified time

This patch adds a new stop control criterion: stop after not covering new instructions in a certain amount of time.

I added a new `struct` to track the covered/uncovered information for each instruction. Not sure whether this is efficient or not. Please suggest if there are better ways to do this.