Created HistoryManager to better organize history control....
Created HistoryManager to better organize history control.
This will put in a single location all history-related operations, and
allow us to simplify the main classes further.
Readline dependencies remain (for history saving/loading), this is
only a first refactoring step.