When showing a directory in the terminal tab, only show the end of the path

For long nested directories, it is sometimes hard to see which directory we are in, since we can only see the beginning.

This feature request might be better implemented in the terminal itself, I am not sure. But we can always just print the last part of a long path.