Initial Gradle commit with test properties, development properties, logging properties, lombok properties, and travis properties, and example Spring Boot classes and integration and unit tests

pandamonium-theorem-prover/lombok.config

@@ -0,0 +1,7 @@
+config.stopBubbling = true
+lombok.accessors.chain = true
+lombok.accessors.fluent = false
+lombok.addLombokGeneratedAnnotation = true
+lombok.log.fieldName = LOG
+lombok.toString.includeFieldNames = true
+lombok.data.flagUsage = error