Add more detailed version info to --version

[bobismijnnaam]

This PR adds versions of VerCors' components (silver, silicon, carbon, or viper if they are all equal, z3, boogie) to the --version prompt. It also refactors the date and time printed to be in system local timezone instead of UTC.

An example run of --version now looks as follows:

Vercors 1.4.0-SNAPSHOT
Built at 2021-10-25T14:57:32.381
On branch dev, commit 247dc8462, with changes
Versions:
- viper: v.21.07-release
- z3: Z3 version 4.8.6 - 64 bit
- boogie: Boogie program verifier version 1.0.0.0, Copyright (c) 2003-2014, Microsoft.

For vercors we get the version from build.sbt. For the viper components the tag parts of the git urls are used. For z3 & boogie they are run with --version and the resulting line that is output, is printed by vercors.

[sonarcloud]

SonarCloud Quality Gate failed.   

1 Bug
0 Vulnerabilities
0 Security Hotspots
0 Code Smells

4.5% Coverage
0.0% Duplication