Partial struts support in taskbar

The taskbar now sets partial struts. That makes the configurable width a lot more useful.

Another neat effect is with Xinerama. The taskbar should not waste space on all screens anymore.