Fixes #37: script for converting old backups to new format.