[iOS] Push notifications

Also requires a new settings page where user can configure which events should use push-notifications. This new settings page can also contain settings for emails and in-app notifications