Prefer the stdint types in config_types.h.

This seems like a fairly sane thing to do anyway if the stdint
 types are available to use - but primarily we're doing it here to
 hide the problem evident in http://bugs.debian.org/675887 where
 the public header is unnecessarily different between architectures.

Patch contributed by Ron Lee.