tools

包括跟安装和格式检查相关的一些工具。