GUI refactoring: eliminate coregui from directory hierarchy
Eliminate directory coregui so that we get shorter paths like GUI/Views etc.
To be done when no feature branches are open.
Edited by Wuttke, Joachim
Eliminate directory coregui so that we get shorter paths like GUI/Views etc.
To be done when no feature branches are open.