Add `push_dns` option.

It allows to configure the server so that it sends a list of DNS servers to
clients.