Added write_history_file, read_history_file.