x07-format

Canonically format X07 x07AST JSON files using x07c fmt (check/write) with a machine-readable JSON r