Make name of areas/dungeons/minigames changeable in lecturer-interface#48

maexled merged 2 commits intomainGamify-IT/docs:mainfrom

documentation/lecturer-interface-make-name-changeableGamify-IT/docs:documentation/lecturer-interface-make-name-changeableCopy head branch name to clipboard