add toolbar for minimized dock widgets, add minimize button in each dock widget title bar (fix #13)