#53 HTTP PUSH TLS registration: add test code for makeHttpPushTls