[Dev/Data] The POR data file may now be compressed.
Merged with trunk
Merge branch 'releases' of github.com:trep/opentrep into releases