Only print runtimeTiming information when in the (mdb) debugger. This fixes bugs 3117 and 3145.
Only print runtimeTiming information when in the (mdb) debugger.
This fixes bugs 3117 and 3145.

zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb