Add Provider Device Id in Device Grid and Device Details Page

In order to quickly find a Provider Device Id for a device, it will be good to have the display Provider Device Id in the device grid page (filer will be nice as well) as well as in the device details page.