#53 HTTP PUSH TLS registration: add (pre :: [XmlNode]) argument to makeHttpPushTls