Rename linux-X32-native target to linux-x86-X32-native.
Fix a problem when resuming forked or MPI sessions that use the --encoding
option.
Merge branch 'bleeding-jumbo' into memdbg

* bleeding-jumbo:
  Fix a problem when resuming forked or MPI sessions that use the --encoding option.
  Rename linux-X32-native target to linux-x86-X32-native.