Delete stdint1.h

switched to OpenCL data types