Merge branch 'dev_GUI' into 'dev'

Open source release of CityDoctorGUI and other extensions.

See merge request !6
1 job for dev in 1 minute and 6 seconds (queued for 3 seconds)