shell: add a shortcut to clear bash history