PAN-7 Updated the build.gradle files

pandamonium-theorem-prover/services/build.gradle

@@ -7,6 +7,12 @@ version '1.0'
 
 sourceCompatibility = 1.8
 
+sonarqube {
+    properties {
+        property "sonar.projectName", 'theorem Prover Services'
+    }
+}
+
 repositories {
     mavenCentral()
 }