Merge pull request #3829 from stangri/19.07-luci-app-https-dns-proxy