doc: support for readline
luajit: logo + prompt customization for torch