Bump to v0.8.0.

Author: aaronbembenek

pom.xml

@@ -5,7 +5,7 @@
 
 	<groupId>io.github.harvardpl</groupId>
 	<artifactId>AbcDatalog</artifactId>
-	<version>0.7.2</version>
+	<version>0.8.0</version>
 	<packaging>jar</packaging>
 
 	<name>${project.groupId}:${project.artifactId}</name>
@@ -172,4 +172,4 @@
 			</build>
 		</profile>
 	</profiles>
-</project>
+</project>