add progress bar to a dock

[Andreas Janz]

E.g. on the left side of the dock label:

‌

This should also well behave in case of vertical labels:

‌

[Andreas Janz]

Let’s put the progress bar on the left side with a relative width of 20%.

‌

[Andreas Janz]

resolves #872

→ <<cset 8102d61f3649>>