Replace readline with libedit

I haven't updated the dockerfile. One way of addressing #110