A web agent for gdb.