Remove unintentionally-committed-to-master README from interactive branch
Fix to bug 497: make justification heuristic's ITE cache context-dependent.
Better reporting of detached git state in --version and --show-config