dump-machine-info script
dump-machine-info script

Gave up on gdbrunner.py. Much easier to just write a standalone
script that will dump all machine info using JSON.

Signed-off-by: Eduardo Habkost <50373d7c08ceadf576dd7dca718012445b677ce6@redhat.com>

ehabkost/gdb-qemu,ehabkost/gdb-qemu