Merge pull request #860 from timKraeuter/add_model_checker_jar

Add model-checker jar in build and simplify gitignore

Author: rensink

release/runnable/.gitignore

@@ -1 +1 @@
-/target/
+target/

release/runnable/Imager/.gitignore

@@ -0,0 +1,10 @@
+<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 https://maven.apache.org/xsd/maven-4.0.0.xsd">
+  <modelVersion>4.0.0</modelVersion>
+  <parent>
+    <groupId>nl.utwente.groove</groupId>
+    <artifactId>runnable</artifactId>
+    <version>1.0</version>
+  </parent>
+  <artifactId>ModelChecker</artifactId>
+  <packaging>jar</packaging>
+</project>

release/runnable/ModelChecker/pom.xml

@@ -15,6 +15,7 @@
 		<module>Generator</module>
 		<module>Imager</module>
 		<module>Viewer</module>
+		<module>ModelChecker</module>
 	</modules>
 
 	<properties>