z3extproject是一个Python脚本，一个z3ext项目目录设置。