[krbdev.mit.edu #8221] patch for stdint.h

[Greg Hudson via RT]

The attached patch uses autoconf macros in public headers (krb5.h and 
gssapii.h), which doesn't work when those headers are included from 
other programs.

We made a deliberate decision to make stdint.h a platform requirement 
for 1.13; see
http://mailman.mit.edu/pipermail/krbdev/2014-February/011886.html .

If there are affected platforms besides the ones Russ mentioned in his 
follow-up to that message, we would be interested to hear it.