Write history on prompt
Miscellaneous conveniences and bindings for readline