Change 'bookmark-maybe-historicize-string' from its naive history list
cons, which blindly adds duplicates ad infinitum, to use 'add-to-history'
which respects 'history-delete-duplicates' and the 'history-length
property (which 'bookmark-history' currently does not have).

-Stephane