Updated and cleaned up satisfiability tests.
Added short description of SL grammar. Added a script for packing a
tarfile.
Cleaned up satisfiability checker and tweaked output ahead of SMTCOMP.