* New ENABLE_COMPRESSED_IO option to enable on-the-fly IO with gzipped files (patch from Alexis Salzman)
* New PrintParserSymbols() to print workspace (currently in option window, for debugging puroposes)



git-svn-id: https://geuz.org/svn/gmsh/trunk@18229 59c8cabf-10d6-4a28-b43f-3936b85956c4