faster fileindex

SQUASHED:

README.md

@@ -5,7 +5,6 @@
 ## Getting Started
 
 
-
 <lively-import src="https://lively-kernel.org/lively4/lively4-petrinet/doc/_navigation.html" alt=""></lively-import>
 
 Directly start developing in your Chrome by visiting [lively4](https://lively-kernel.org/lively4/lively4-core/start.html) and follow the [Getting Started Guide](./doc/tutorial/index.md). Through checking out and serving git repositories with the [lively4-server](https://github.com/LivelyKernel/lively4-server), we can directly edit and use the environment in a self-supporting way.

src/client/fileindex.js

@@ -815,8 +815,8 @@ MD*/
     console.log("[fileindex] addFile "+ url + " FINISHED (" + Math.round(performance.now() - start) + "ms)")
 
     if (slowdown && addedContent) {
-      console.log("[fileindex] wait a bit")
-      await wait(100) // slow down the indexing
+      // console.log("[fileindex] wait a bit")
+      await wait(10) // slow down the indexing
     }
   }