Added some missing definitions to stdint.h

These are needed to compile ctypes.