removed unused variable
add Theseus menu items at the end of the File menu, with a divider
File > Reset Theseus Trace Data (experimental)