added checkboxes for debug/tracing filter; misc tuning;
added checkboxes for debug/tracing filter;
misc tuning;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle