ignoring duplicates in bash history
added folding