New release 0.7.5. Tests passed on Ubuntu Linux, Windows 10, and macOS Catalina.

Added a few new applications and features to old ones. Fixed small bugs. See the changelog.