Json tools

Tools that work with the JSON format.