Use readline to improve the interactive mode