.bashrc - ignore duplicates in history