Fixed mistake in smt/smt2 query file tests where I did not specify
to match from the beginning of the line. Because of this is the
test result changed from sat to unsat the test would still pass
because the "sat" string still matches somewhere in the "unsat"
string.
Correct mistake in smt2/smt to lit test conversion scripts where
the '^' symbol was not included on CHECK-NEXT: lines to ensure
OutputCheck only matches from the beginning of the line.
Give a more descriptive name to the query-files test suite in lit.