A new strict JSON highlighter

So previously we were just using the js highlighter for json, but that's not actually desirable as json doesn't accept lots of stuff that js does.  So I wrote this new json highlighter from scratch based on json.org– this should be complete to the point of highlighting any invalid JSON.