* pluginDebug.ml: first version of tracer with file location