Merge request of new tool docker

[C. Boemann]

Hi

I hereby request a merge of the all-tooldocker-boemann branch into master.

It introduces two new dockers, which are unrelated:
1) Tool options docker.
2) A docker that hijacks the tool bars

Plus it fixes the bug that dockers were left hidden when the application is 
closed while the startup widget is shown.

Tool options docker
-----------------------------
It presents a single docker that contains the tool option widgets of the 
current tool.

The docker is fixed in size so we no longer have moving around of dockers when 
switching tool.

The docker can lay out the option widgets of the current tool in different 
ways.
 - horizontally when docked at the top or bottom of the window
 - vertically when docked at the sides of the window
 - in tabs if put into tab mode (behaves the same no matter where it's docked)

The docker default has no title bar, as the name of the option widgets serve 
as titles. If the user clikcs the unlock button in the top right corner. It 
gets a titlebar, and another button to toggle tabbed mode.

For an idea of how this is should look, try the text and default tools.

If the size f the option widgets is larger than can fit in the docker 
scrollbars will appear, so the docker never resizes itself.

The docker that steals tool bars
-----------------------------------------------
It basically just steals the tool bars and puts them in a docker. This allows 
the user to put the tool bars and other dockers side by side, giving greate 
flexibility of layout.

If the Tool Bar docker is hidden (via settings menu) then the tool bars are 
shown in their normal place.

Known issues
--------------------
The Tool Options docker doesn't remember if it's in tabbed mode

The Tool Options docker has a repainting problem when going into tabbed mode.

The Toolbars can not be manipulated while in the Tool Bars Docker. You need to 
close the docker (bringer the dockers to their normal position) and then 
manipulate them.

Best regards
Casper Boemann