[gamma][1/*] 提取出gamma模块
[gamma][2/*] 更换lit_set
[gamma][3/3] 用gamma模块分离dpll的证明和证明项
[cnf] 分离cnf模块，理清关系
[gamma] 修复按需输出，增加无proof时Admitted
[equal] 更换未解释函数算法，暂时无证明项