HTML_NG: Share server list between host and client

This commit removes hardcoded server kludges from the packetq proxy script and
make the _servers.json be dynamically generated. It moves the configuration away
from the json file, and up to a settings.php instead.