Document the debugger monitor over IPC and add the MCP server page
Document the GDB remote server and its monitor commands