Fix to bug 497: make justification heuristic's ITE cache context-dependent.
Better reporting of detached git state in --version and --show-config
Better error in case of nonlinear assertions while in linear logic