history and statistics files are sometimes corrupted because of invalid json
We now use json.dump to write the entire file at once. Probably this will consume
more resources.