parse a.c. version of a witness into a separate witness
allow JSON input to run_collation script
Merge branch 'master' of github.com:tla/ncritic