Strip comments from JSON (a PHP porting of strip-json-comments)