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
Add test for eeagent behaviour when it is restarted with a REJECTED proc
Merge pull request #1081 from ooici/jira891

add portal to platformdeviceextension
bump ion-defs
Merge branch 'master' into ims_instagentinst_fixes