openapi: Fix principals array type.
openapi: Fix principals array type.

We do not accept heterogeneous arrays containing both user ids and
email addresses.

This also happens to disallow an empty array, which is fine since the
principals parameter should be omitted if the default to the calling
user is desired.

Signed-off-by: Anders Kaseorg <dfdb7392591db597bc41cf266a9c3bc12a2706e5@zulip.com>

andersk/zulip,kou/zulip,kou/zulip,eeshangarg/zulip,rht/zulip,rht/zulip,zulip/zulip,zulip/zulip,rht/zulip,andersk/zulip,andersk/zulip,rht/zulip,andersk/zulip,kou/zulip,andersk/zulip,kou/zulip,eeshangarg/zulip,eeshangarg/zulip,eeshangarg/zulip,eeshangarg/zulip,zulip/zulip,kou/zulip,kou/zulip,zulip/zulip,eeshangarg/zulip,rht/zulip,eeshangarg/zulip,kou/zulip,andersk/zulip,zulip/zulip,andersk/zulip,zulip/zulip,rht/zulip,rht/zulip,zulip/zulip