Use a library to write JSON

With the increasing number of places where we generate JSON, it would be good to start using a proper library to do it: https://github.com/nlohmann/json

Where is JSON already used:
- changes
- summary of changes
- conflicts
- database schema
