Trying stdio, 1.f seems good

use readline.on() is simple. It's enough for jeforth I think.