update to repl.js from Node 0.8.25
0.8.25