Rename KoralPipe-TermMapper to Koral-Mapper

Change-Id: Ib71a02b6640a9d93d81cb419d760f13a60ec5f58
diff --git a/.dockerignore b/.dockerignore
index 79a0047..52f7ccb 100644
--- a/.dockerignore
+++ b/.dockerignore
@@ -1,4 +1,5 @@
 termmapper
+koralmapper
 .git
 *.tmp
 *.log