To aid in preciseness in parsing, extensibility, and versioning, add a `-machine` option that emits, say, json to stderr.