Shell: Better width calculation for tabs

Hello, this is my first contribution:)

The old behavior has the following problems:

• the available 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