Extend PushNotification API to send a device identifier with each call and add call to remove push notification registration.