alias "server_infos" for std::vector<server_info>