Updated installation messages still refering to Game Develop instead of GDevelop.
ReleaseProcedure.bat now produce a zip file instead of a 7z file (not support by GitHub).