Shorten filenames in log messages

Filenames could be prevented even shorter than the relative names shown at the moment. A style similar to logback could be used, by shortening path components to limit the length of the string. For example trans/nabl2/runtime/analysis/main.str would become t/n/r/a/main.str, or t/n/r/analysis/main.str depending on the length limit.