added device selection feature for both nvrtc and ocl backend.

[aryamazaheri]

With this feature, we will be able to select a specific GPU within a single system. We just have to pass "--use_platform_id" and "--use_device_id" if necessary to the boda command.