Implemented simplification using symja.

Still very rough, needs a lot more work.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/symbolicvalue@11894 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Fixes to the external simplifier.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/symbolicvalue@11903 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Fixed small whitespace issues

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/symbolicvalue@11914 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Merged with latest trunk

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/symbolicvalue@11930 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Added method for updating variables

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/symbolicvalue@11932 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Implemented recursive replacement of symbolic values in formulas.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/symbolicvalue@11959 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Implemented inference of symbolic values through assumption edges.

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