JSON unescape

A tool to unescape a string from a JSON string.