Merge pull request #12074 from christofchen/getPoolNames

add getPoolNames() function, returning a list of pool names

diff --cc pdns/dnsdist-console.cc
Simple merge

diff --cc pdns/dnsdist-lua.cc
Simple merge

diff --cc pdns/dnsdistdist/docs/reference/config.rst
Simple merge