Automatically clean up bool type.
Actually print the version.
Merge pull request #74 from s-falke/print_version

Actually print the version.
Pretty-print the version information
Added testcase showing leakage.
Merge pull request #73 from s-falke/c_interface_leak

Automatically clean up bool type.
Merge branch 'master' of https://github.com/stp/stp
Correct expected result for boolextract-valid.cvc
Get a basic version of "make test" working again

Using the old run_tests.pl script, despite its problems. See comments
in CMakeLists.txt about where to find the results.