Added methods to dump a dictionary to a file and to reload it from a file