Merge pull request #610 from lampepfl/DarkDimius-patch-1

Show be more verbose when running partest on Jenkins

Author: DarkDimius

scripts/jobs/validate/partest

@@ -4,5 +4,5 @@ baseDir=${WORKSPACE-`pwd`}
 scriptsDir="$baseDir/scripts"
 . $scriptsDir/common
 
-sbt $sbtArgs update compile "partest-only run"
+sbt $sbtArgs update compile "partest-only run --show-diff --verbose"