v4.0b2

Enhancements:

• The emulator core natively supports the ADZ / HDZ format now (#877).
• Media files can be saved in compressed form (ADZ / HDZ) in workspaces.
• gzip can be selected as snapshot compression format.

Bug fixes:

• „Insert…“ from the df0 menu does no longer crash (#875).