src/cuda: Do not display properties of the device
src/cuda: Move get_device_info() and print_device_info() to cuda_extras
src/cuda: Add [device_num] as an optional argument of cuinfo