PHP ico文件转换工具，可以把常见的图片文件转换为ico文件