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`
Is this name change agreed upon? I strongly prefer separating editorial changes from non-editorial ones.