jsonlint does not properly process double backslash

Merry Christmas and happy new year!

I noticed this bug when I tried to format a string that looks like a Windows file path. Here's a minimal example:

```
echo '{"a": "\\\\b\\\\"}' | jsonlint
{
  "a": "\b\\"
}
```

The value of `a` string should have been `\\b\\`.