[FEATURE] deduplicate messages as necessary

[Eli Skeggs]

Due to distributed-system things, we cannot know whether we already handled a given message fully. Ideally, Gmail's API would let us auto-deduplicate and push the complexity to their end, but the only API that supports that is the import API, which doesn't trigger filters.