Making repl.open() open the same REPL; fixes #115.