a0b70d996c
This implements the DAP loadedSources request, using gdb.execute_mi to avoid having to write another custom Python API.