A collaborative portal for ocean observatory control