Update uint256.h

Use <stdint.h> instead of <inttypes.h>