smaller bugfix in gpg setup
cleaned dev branch for merge: removing projects from local manifest works + adding again works + deleted project-dirs are resynced + updated docu
Merge branch 'dev'