pushversion.sh: writing manifest; deleting unnecessary stuff; manifest deleted