Added Dock close button (from Stefan H)
minor cleanups
fixed dock insert order bug
Merge branch 'closable_docks' into develop