opencl: Ability to avoid using binary kernels with new --no-opencl-binaries option