Add JSON linting to lint script
The first commit adds JSON linting to the pipeline, the second fixes a JSON error that was uncovered by the linting script.
The first commit adds JSON linting to the pipeline, the second fixes a JSON error that was uncovered by the linting script.