Removed tools/remoteREPL.py and v8.rb since they don't work anymore