Beginning work on making set_trace() stoppable (#90)

For now, set_trace() is ignored after the first time it is called.  What
remains to do is to implement this in the GUI so that set_trace can be skipped
or not dynamically by the user.