Use JSON for export of Refbox worldstate data

[jorritolthuis]

Currently, the logging by the Refbox is done in csv. Because all other data is exchanged in JSON, it seems sensible to also export this in the JSON format.