A browser-based frontend to gdb (gnu debugger)