Direct messages should provide a distinct push notification subject

DMs should be distinct from normal mentions in your push notifications.

I'm also working on a followup that will validate this in tests for all types of pushes and expose a user-configurable option to hide the body from push notifications. We can discuss in the relevant issue the merits of configurability for the exclusion of the body in all pushes or just pushes for DMs.