Add <stdint.h> integer width macros

[Paul Eggert]

On 09/20/2016 01:21 PM, Joseph Myers wrote:
> +# define WCHAR_WIDTH 32

When compiling with 'gcc -fshort-wchar' this should be 16, to be 
consistent with WCHAR_MAX.