Shell: Better width calculation for tabs

The old behavoir has the following problems:

• the avaible space is not usefully distributed between tabs
• the minimal width is too small

Instead,

• all tabs have the same width
• the minimum size is larger