Adds an option to increase the spacing between task manager icons and makes those icons scale linearly with the panel height, or width in case of a vertical panel
It is just the porting to GitLab of this Phabricator issue: Adds custom spacing between task manager icons: #D29603
