Added an ignore and delete dups option to bash history