Now uses linenoise for user input.