Add JSON support and fix Verinet installation

[TrisCC]

The PR looks a bit messy because I forgot to rebase the branch in my fork correctly and squashed the commits, but it will still work just fine.

Changes:

• Add JSON support for VerificationResults: Working with csvs was fine, but to read some of the error messages from a few instances manually to inspect errors was a bit difficult. JSON is more suitable for that.
• Fix relative import and Verinet installer: Netron had to be updated for it to work.
• Add gitignore and fix build script: Working with vnncomp files in the same folder is sometimes desired.
• Improve logger and json converter: Add a little indicator to see how far into the verification batch process the program is in.