一些python工具