linux/mac上的z3超时

Hi Leonardo:看起来z3（v3.2）接受命令行开关“-T:10”来指定Mac和Linux上的超时，但忽略了它。（没有在windows上尝试过。）如果linux/mac版本也支持超时，那就太好了。

是的，

-t

开关仅在Z3.2中才是windows。这将在下一版本中修复