This patch introduces a function in the device's plugin to print the
device information. This patch relates to another patch that introduces
a CLI tool to obtain the device information from the omplibrary directly.
It is inspired by PGI's pgaccelinfo.
The modifications are as follows:
- Introduce the optional void __tgt_rtl_print_device_info(RTLdevID) function into the RTL.
- Introduce the bool __tgt_print_device_info(devID) function into omptarget interface. Returns false if the RTL is not implemented
- Added bool printDeviceInfo(RTLDevID) to the DeviceTy
- Implement the __tgt_rtl_print_device_info for CUDA. Added additional CUDA Runtime calls.
Better to use int as return type as it is C function.