Initial implementation of ideal mode

Thanks to Roberto (mostly his code)

The only bug (as compared with missing features, of which there are many) I can see is that when you switch back to the Qt DockWidget user interface style, the docks don't yet tabify (even though I traced the code, and they are asked to...??)