详细分析下面go代码。我想要把proxy改成加代理池的形式代理池放proxytxt中package mainimport bufio flag fmt os strconv strings githubcomlogrusorgruaurorav3 log githubcomprojectdiscoverygologger githubcomprojectdiscoverygologgerleve

这是一个命令行工具，用于在搜索引擎上执行查询。代码使用了flag包来解析命令行参数，支持自定义查询、搜索引擎、查询结果的页数、头部信息和代理等选项。

其中，程序入口main()函数会根据是否有标准输入来决定执行单个查询还是批量查询。每个查询都会启动一个goroutine来执行查询操作，从而提高查询效率。

现在想要将代理改为代理池的形式，代理池的地址保存在proxy.txt文件中。可以通过读取proxy.txt文件获取代理池中的代理地址，然后每次查询从代理池中随机选择一个代理地址来进行查询操作。修改的具体实现可以通过在options结构中添加代理池相关的字段，然后在search()函数中进行修改。