Add Declarative Web Push

This introduces a new feature whereby push messages conforming to a certain JSON format directly create an end user notification and show it (possibly preceded by an enhanced push event).

This builds on whatwg/notifications#213 which adds URL members to notifications.

See #360 for further context.

Author: annevk