Cleanups that do not depend on LeoJS:

• Remove support for Qt5.
• Stronger annotations.
• Deprecate free_layout and nested_splitter plugins.