#3222 updated the instructions manual, containing now the envstore and
mapeditor docu and installation instructions