Allow to disable JBM tracefile writing via a define

That way JBM tracefile writing can be disabled with a compiler option
(-DNO_SUPPORT_JBM_TRACEFILE) without having to modify the source code.