This commit is a result of several merged commits:

Implemented skeleton, and tests, for pattern matching on the AST of SMTLib formulas.

The Z3 API constants must be public to be useable in sub packages.

Tests...

Package info for the z3-matching package.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@14599 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c