NIP-114: ids_only filter

[mmalmi]

When a filter has ids_only: true, the subscription is served with ["HAVE", sub.id, event.id] messages instead of EVENT messages. This allows clients to only request the full events that they don't already have locally or received from another relay.