Test JSON linting of GitHub PR builder on Jenkins

Do not merge this! It doesn't do anything useful, anyway.