Clean up events and define relationship to service workers

This relates to issues #33 and #18.

* Define event handlers `onpush` and `onpushregistrationlost` on `ServiceWorkerGlobalScope`
* Define `push` event using interface `PushEvent`
* Define the simple event `pushregistrationlost`
That seems like something for the security and privacy section, which this patch is really not about. I filed isse #62 to go over this.