v0.1.3 - Functional GUI for verifying audit proofs

This release is a substantial incremental improvement over 0.1.2 in that the verification server is now managed for the user by the desktop app (by clicking a dot in the bottom right of the window).

The autct binary for Windows is again triggering virus false positives in Defender, so is not released.

Compilation by using cargo test then cargo build --release is strongly recommended to reduce trust requirements when using binaries.