Patch from Alejandro R. Sedeno and Jeffrey Hutzelman to allow krb4 to

Patch from Alejandro R. Sedeno and Jeffrey Hutzelman to allow krb4 to
read 32-bit and 64-bit ticket files on 32-bit and 64-bit systems.
Previously the ticket file format depended on the ABI.  Significant
backward compatibility is maintained; the patch works by writing
alignment records that are valid (but meaningless) ticket file entries
but that allow systems to get realigned.  As a consequence an old
library will see additional meaningless ticket file entries when it
reads a ticket file produced by the new code.  These entries are
harmless and will be ignored.

ticket: 1288

git-svn-id: svn://anonsvn.mit.edu/krb5/trunk@18076 dc483132-0cff-0310-8789-dd5450dbe970