gdbgui - A browser-based frontend/gui for GDB