Fixing warnings in CryptoMiniSat

Thanks to Stephen McCamant for spotting these
Re-licensing CryptoMiniSat to MIT licence in the headers as well

It has been documented that I have re-licensed this version of
CryptoMiniSat for an MIT license. It's now indicated in the header
files, too
Re-licensing CryptoMiniSat (cont.) to MIT licence in the headers as well

It has been documented that I have re-licensed this version of
CryptoMiniSat for an MIT license. It's now indicated in the header
files, too
added all contributor names
i
Initial restructure of testsuite. I've not moved the generated
tests yet because it is unclear how this will work with the testing
infrastructure I have planned.

There are currently two main folders

tests/query-files : These are for query files that are inputs to
                    the STP executable

tests/api : This folder is for API tests. Currently there are
            only languages for C but if we gain other language
            bindings tests for this should go here.
Rename generated_tests to generated-tests for consistency with other
folder names.
Added stub CMakeLists.txt files for testing and remove old
testing command.
Copy llvm-lit from the LLVM3.4 branch (its really too big to
import as a git submodule) and add CMake code to create
llvm-lit executable.
Added a basic lit configuration file (based off llvm3.4 lit.cfg
and lit.site.cfg.in)

The query-file tests can be invoked using a query-files-tests target.
This is a custom target rather than a CTest test because it seems
that CTest won't show llvm-lits standard output/error when invoked
from CMake.
Added support for setting the solver from llvm-lit command line
e.g.

$ llvm-lit --param=solver=z3 .
Added OutputCheck tool as a submodule for use for llvm-lit tests.
Added %OutputCheck substitution to llvm-lit tests. A llvm-lit parameter
has also been added which can pass extra flags to OutputCheck e.g.

$ llvm-lit --param=outputcheck_params='-l debug' -v .
Fix up broken query files in unit_tests/ (tested with Z3)
Setup smt2 llvm-lit tests. Z3 was used as an oracle for checking
satisfiability of queries.
Enable most .smt llvm-lit tests. Two tests have been left out

sample-smt-tests/610dd9dc.T.stp.smt_71.smt
Z3 and CVC4 spend > 5 minutes trying to solve this so I gave up
trying to write this test for now.

sample-smt-tests/zero-extend.smt
Z3 and CVC4 issue parsing errors with this test. This needs more
investigation.
Update OutputCheck submodule to new version with file extension
bug fix.
Give tests in crypto-tests proper file extension (cvc) rather than
STP.