Bash Line Editor: a command line editor written in pure Bash