Add ability to stop tracing in browser.

One can stop tracing by pressing Alt-Shift-T.  For now, the user
gets an alert when the shortcut is pressed, and when all remaining
trace elements have been flushed.