New JSON linter + new doc for JSHint options

* JSON files now have a dedicated linter
* JSHint options are now included in the generated doc