use jsonlint directly in docmaker for easier spotting of json errors

@gerardohuck you may find this convenient; thanks for your feedback