add portal to platformdeviceextension
Merge branch 'master' of github.com:ooici/coi-services into jira891
Merge branch 'master' of github.com:ooici/coi-services into jira891
add status and device for portals in device extension
merge head into branch
Merge pull request #1081 from ooici/jira891

add portal to platformdeviceextension