Add push notification support to mixpanel