machine readable output mode

[Daniel Farina]

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