Add option to rum s2e-qemu in GDB