add portal to platformdeviceextension

added portal field to PlatformDeviceExtension per JIRA OOIION-891

merge only after merging ion-defs: https://github.com/ooici/ion-definitions/pull/367