createmanifest.sh: some files added
pushversion.sh: keeping TODO