JSON escape

A tool to escape a string for use within a JSON string.