Support dynamic shared memory in OpenCL

[eyalroz]

We currently only support dynamic shared memory when launching CUDA kernels. In OpenCL, it's more complex to use, requiring an association with a dummy kernel parameter. We should implement that.