This contains all tracing options for the TextGridLab, with the default
settings, to your reference. To use, copy the relevant settings for your
tracing case to a file (let's call it debug.options), and start the lab
with

    ./textgridlab -consoleLog -debug debug.options