Better history management in bash.