Use OpenCL headers from an OpenCL SDK instead of providing the headers

Closes #2