Add "-version" argument to the Overture command-line interface

[peterwvj]

Adding a -version option in the Overture command-line interface (CLI) would be helpful for debugging purposes. We'd like to use this feature in a Jenskins build job that we use for VDM model validation.

Expected usage is as follows:

λ java -jar Overture.jar -version
2.6.1-SNAPSHOT

Also, I strongly recommend that passing the -version option suppresses any additional options (see the example below). The reason for suggesting this is that not suppressing additional arguments (1) complicates processing of the arguments altogether unnecessarily and (2) adds no value.

λ java -jar Overture.jar -vdmsl -e 1+2 -version
2.6.1-SNAPSHOT

For what it's worth, this approach is also consistent with the Maven CLI:

peter@peter-tp:~/git-repos/ovt (pvj/main)
λ mvn install --version
Apache Maven 3.5.0
Maven home: /usr/share/maven
Java version: 1.8.0_151, vendor: Oracle Corporation
Java home: /usr/lib/jvm/java-8-openjdk-amd64/jre
Default locale: en_US, platform encoding: UTF-8
OS name: "linux", version: "4.13.0-36-generic", arch: "amd64", family: "unix"