Enhanced configdb by context2push_registration table to store those contexts with at least one registered permanent push listener.

Table gets created via:
CREATE TABLE context2push_registration (
cid INT4 UNSIGNED NOT NULL,
PRIMARY KEY (cid)
) ENGINE=InnoDB DEFAULT CHARSET=utf8 COLLATE=utf8_unicode_ci