Make to_int go through gdb.eval() to allow things like "$sp+3".  Also fix hexdump