tools/run_elf.sh: Do not cut off debug output, pass arguments to GDB.