Enable two more query file crypto-tests. CVC4 was used as an oracle for
these tests.
For query-file-tests use lit methods for writing messages about
configuration.
Enforce that the python version used when running OutputCheck is the
same that was detected as CMake configure time.
Eliminating unnecessary dependency on zlib

Fixes issue #16