cleanup
reinstated Show Proof Trace button (closes #60)

Hides the proof trace if the button is off. Keeps the "Tracing paused. Continue?" messages visible anyway though.
tracing output docs
Merge branch 'tracing-toggle'