Quiet a lint warning on the ServerMode union (#2473)

The ServerMode type is CoreServerMode | ExtraServerModes. In grist-core,
ExtraServerModes is just `never`, and a union with `never` collapses to
the other side. Extensions can add over server modes, such as "fleet"
multi-server mode.