libedit: A command line editor library