* gdbarch.sh: Add field ``postdefault''. Rename fields