An offline tool to format JSON