opencl-headers (headers file for OpenCL)

This is a repackaging of the header files from khronos.org.