Saving and loading changed

Optimized saving and loading from xml files. As it is still problematic to load very large xml files, added saving and loading as GZip streams, as a temporary solution.
Merge branch 'master' of https://github.com/KROKIteam/KROKI-mockup-tool