batch convert from smt2 to sygus#8

mina1604 wants to merge 2 commits intoSyGuS-Org:masterSyGuS-Org/tools:masterfrom

mina1604:mastermina1604/tools:masterCopy head branch name to clipboard