Verifpal 0.20.0

Verifpal 0.20.0 fixes a minor bug regarding comments parsing, reported by "Mike". It also fixes a more impactful bug with the resolution of SIGNVERIF checks, also reported by "Mike". Finally, Verifpal 0.20.0 includes a new command, `verifpal about`, which when executed prints out a list of individuals that have contributed meaningful suggestions, bug reports, ideas or discussions to the Verifpal project.

Changelog

c747713a Add new verifpal about command
56267990 Allow single comments inside principal blocks
eaa7c766 Brew formula update for verifpal version v0.19.5
c70010ff Fix lack of precision in SIGNVERIF check
dcd5beb8 Scoop update for verifpal version v0.19.5
06e1b236 Update compiled parser artefact
21b129ea Update go.mod and go.sum
ba250645 Verifpal 0.20.0