shell.py now behaves more like a real shell, thanks to the readline module