A node.js implementation of the GDB/mi interface