GeoDms 15.8.0

Known issues: #838 and #841: consider using v16.0.2 or later, or v15.4.0 when aggregating values of an empty domain

Fixed issues related to progress messages

• #766, #769, #782, #802, #770, #536

polygon operation:

• #757, #775

Full Changelog: v15.7.1...v15.8.0