Updating user's notification preferences when creating a theme should be batched

[kaaloo]

When an admin creates (or deletes) a theme, the theme notification preferences of every user must be updated. As @revolunet pointed out in his review comment, the current implementation can result in very many parallel requests to MongoDB.