Basic support for OpenCL

Problem: OpenCL cannot import stdint.h. Temporary fix: define custom opencl_stdint.h (defines currently only int64_t `)

TODO:

• implement opencl_stdint.h
• implement shard_mem, textures, built-in functions
• avoid CUDA intrinsics (fast_div)