OpenCL runtime uses device index HL_GPU_DEVICE, renamed HL_OCL_PLATFORM -> HL_OCL_PLATFORM_NAME, HL_OCL_DEVICE -> HL_OCL_DEVICE_TYPE.
Merge pull request #352 from halide/opencl_gpu_device

OpenCL runtime uses device specified by HL_GPU_DEVICE