Add --32 and --64 options to gdbserver.py.