etc/options

--- a/etc/options	Mon Sep 30 13:23:49 2019 +0200
+++ b/etc/options	Mon Sep 30 16:40:35 2019 +0200
@@ -216,6 +216,9 @@
 option headless_commit_cleanup_delay : real = 60
   -- "delay for cleanup of already imported theories (seconds, 0 = disabled)"
 
+option headless_load_limit : int = 0
+  -- "limit for loaded theories (0 = unlimited)"
+
 option execution_eager : bool = false
   -- "prefer theories with shorter stack of decendants"