Vim: shrink filenames in tabline if tabs don't fit.
Vim: formatting and comments.
Vim: improve tabline: shorten ends of filenames.