Persistency Layer: backup file before updating #19
Description
The output file of the persistency layer should be renamed before it is written again, so there is a backup in case the new file is corrupted (e.g. because the process is killed in the process of writing).