etc/options

--- a/etc/options	Thu Sep 08 10:35:08 2016 +0200
+++ b/etc/options	Thu Sep 08 18:18:57 2016 +0200
@@ -105,6 +105,9 @@
 option process_output_tail : int = 40
   -- "build process output tail shown to user (in lines, 0 = unlimited)"
 
+option checkpoint : bool = false
+  -- "checkpoint for theories during build process (heap compression)"
+
 
 section "ML System"