OpenCL: Drop some debug output now that the NVML problem is
fixed. Also move the ADL output to opencl_list_devices() so
it's not printed when emitting a status line (although this
is currently defined out by default).
CUDA: Ensure mapping between CUDA id and NVML id, using PCI id.
Merge pull request #783 from claudioandre/bleeding-jumbo

Optimization for NVIDIA SM 30 and beyond . Gives 2000 c/s on GTX Titan.
Add NVML device id to --list=opencl-devices.