Report OpenCL device and platform when using -s.
Report OpenCL device and platform when using -s.

HIPERFIT/futhark,HIPERFIT/futhark,ihc/futhark,diku-dk/futhark,HIPERFIT/futhark,diku-dk/futhark,diku-dk/futhark,diku-dk/futhark,diku-dk/futhark,ihc/futhark,ihc/futhark