pothos-gui: all panels are now docks