add make_gdb_vm_image.sh script, it doesn't work yet but could be useful