Summary
- explicit option metric_argo_timeout, with reasonable default for Raspberry Pi;
- tuned;
- repackage minisat-2.2.1 with cygwin1.dll: required to run the executable without existing Cygwin context (normally provided by bash_process);
- discontinued redundant document_preprocessor: in the worst case, a plain-old document/build script will do;
- clarified messages, depending on option "document_echo";
- just one cache, via HTML_Context, via Sessions.Store or Session;
- merged
- new lemmas about convex, concave functions, + tidying