Bash history for readline in vi mode