push-nofications: added

With the web clients, we store whether we've sent the token before, and if the server errors.
Why not do that here?