The JSON output code will be rewritten to use rapidjson, which will allow us to add more stuff without having to worry if the resulting text has the correct formatting. This adds around 20 KB to the compiled binary.
