isoeval -> recodex

Configuration-and-usage.md

@@ -57,13 +57,13 @@ headers:
         - python
     threads: 2
 hwgroup: "group1"
-working-directory: /tmp/isoeval
+working-directory: /tmp/recodex
 file-managers:
     - hostname: "http://localhost:9999"  # port is optional
       username: ""  # can be ignored in specific modules
       password: ""  # can be ignored in specific modules
 file-cache:  # only in case that there is cache module
-    cache-dir: "/tmp/isoeval/cache"
+    cache-dir: "/tmp/recodex/cache"
 logger:
     file: "/var/log/recodex/worker"  # w/o suffix - actual names will be worker.log, worker.1.log, ...
     level: "debug"  # level of logging
@@ -82,7 +82,7 @@ limits:
         ISOLATE_BOX: "/box"
         ISOLATE_TMP: "/tmp"
     bound-directories:
-        - src: /tmp/isoeval/eval_5
+        - src: /tmp/recodex/eval_5
           dst: /evaluate
           mode: RW,NOEXEC
 ```