added read_history_file and write_history_file
XXX should perhaps support history truncation as well
1 file changed