etc/options

--- a/etc/options	Tue Oct 18 17:41:56 2016 +0200
+++ b/etc/options	Wed Oct 19 14:42:28 2016 +0200
@@ -108,6 +108,9 @@
 option checkpoint : bool = false
   -- "checkpoint for theories during build process (heap compression)"
 
+option profiling : string = ""
+  -- "ML profiling (possible values: time, allocations)"
+
 
 section "ML System"