Ignore duplicates in bash history