small change in README (for checking functionality of git server)

README.md

@@ -7,6 +7,12 @@ Currently, the translation between English and German is supported for a small n
 Furthermore, the sentences can be formalized in a logical representation.
 
 
+Running the Tests
+===
+
+TODO (see test/run_tests.gfs)
+
+
 Running the Examples
 ===