Add filtering to push notifications

One-sentence description

Desired behaviour

Have a settings field in the Device model that holds the categories (see #537 (closed)) of messages that device should receive and filter devices when sending a message based on these settings so that these devices do not receive messages of categories that they have turned off.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information