property ReadLineOptions.removeHistoryDuplicates

If true, when a new input line added to the history list duplicates an older one, this removes the older line from the list.