Introduce --[no]-tokens flag

Change-Id: I3aff53491151d8fe4e00d9f6747f8f12f6051a54
diff --git a/.gitignore b/.gitignore
index e781219..0f795b0 100644
--- a/.gitignore
+++ b/.gitignore
@@ -8,4 +8,5 @@
 \#*
 *.info
 datok
-old_*
\ No newline at end of file
+old_*
+effi*
\ No newline at end of file