Autogenerate test-servers.json