A JSON parser which accepts laxly-formatted JSON input (using PEG.js)