Add Locations and Graph to Navigation Memory and Redesign Location Graph Editor

added new-feature label

assigned to @RainerKartmann

marked this merge request as ready

added 32 commits

• 1a3bcee9...47e4ce07 - 25 commits from branch master
• fa466b86 - Merge branch 'master' into location-graph-editor
• ad1bf440 - fix
• 82177aa0 - adding deleted files
• 2f3bd4fc - multiple fixes: namespaces; includes; registering decoupled main
• a5659d01 - fixes
• 37cebf7b - minor
• 05d1b51c - fix: adding definition

Compare with previous version

merged