更新v0.4。加入英文预定名支持，定理环境结束符支持。加入两个Shell脚本可在Linux和Mac中使用。

Signed-off-by: shifujun <shifujun@foxmail.com>
刚发现用git克隆到windows上的bat文件是正常换行的，但是普通用户直接下载的zip包中的bat文件换行变成unix格式了。所以干脆打包成zip了。

Signed-off-by: shifujun <shifujun@foxmail.com>