Compact / Convert file paths to their "real" paths

[mjk-gh]

Just a minor feature request:

At various places in dashboard's panes, e.g. in the sections "Breakpoints" and "Stack", I would like file paths to be displayed in a more compact form, so instead of

[1] break at 0x08035be2 in ../../../../targets/foo/../../src/target_bar.h:2506 for target_bar.h:2484

I'd like to see

[1] break at 0x08035be2 in ../../../../src/target_bar.h:2506 for target_bar.h:2484

Above conversion is the output of:

$ realpath --logical --relative-to=. --canonicalize-missing ../../../../targets/foo/../../src/target_bar.h

I noticed there is a Python function called os.path.realpath, but it does not seem to have the options to produce the same meaningful output as the output of the Unix command realpath, instead it outputs

>>> print (os.path.realpath("../../../../targets/foo/../../src/target_bar.h"));
/src/target_bar.h

This is a low-priority feature request, so don't sweat it. :)