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.