cleaned dev branch for merge: removing projects from local manifest works + adding again works + deleted project-dirs are resynced + updated docu