Readline read_history and write_history addition