Maven project overture-pvj-main

Used to deploy Overture SNAPSHOTs to the 'pvj' artifactory repository to support the tool development in the AGCO project. Also note that this build job passes the '-Dtests.javagen.javac' property to run all of the VDM-to-Java code generator tests.