Using freestanding stdint.h file.

Use the header file shipped with the compiler for using typedefs like (u)int{8,16,32,64}_t.