PAN-7 Added project names to Sonar in the sub projects

pandamonium-theorem-prover/persistence/build.gradle

@@ -9,6 +9,12 @@ version '1.0'
 
 sourceCompatibility = 1.8
 
+sonarqube {
+    properties {
+        property "sonar.projectName", 'Pandamonium Persistence Tier'
+    }
+}
+
 repositories {
     mavenCentral()
 }

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()
 }

pandamonium-theorem-prover/utilities/build.gradle

@@ -7,6 +7,12 @@ version '1.0'
 
 sourceCompatibility = 1.8
 
+sonarqube {
+    properties {
+        property "sonar.projectName", 'Parsing and Proofs Utilities'
+    }
+}
+
 repositories {
     mavenCentral()
 }