Add more detailed version info to `--version`#707

Merged

bobismijnnaam merged 3 commits intodevfrom refactor-versions-flag

Oct 26, 2021

+76-11

Commits on Oct 25, 2021

Add versions of components (silver, silicon, carbon, z3, boogie). Also refactor date and time printed to be in system local timezone instead of UTC.
bobismijnnaam
committed
Include BuildUtil
bobismijnnaam
committed

Commits on Oct 26, 2021

Deduplicate viper info if they are all equal, and remove scala & sbt versions
bobismijnnaam
committed