load_elf: dump a sequence of gdb commands for easy debugging