Server on 443 should also push DNS options
Merge pull request #10 from orkaa/patch-1

Server on 443 should also push DNS options