Creating a branch for refactoring the usage of variable tracking precisions in all CPAs, in the end there should only be one precision left, instead of a single precision for every CPA

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/VariableTrackingPrecisionRefactoring@13447 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Removed all OctagonPrecisions and replaced them with the ValueAnalysisPrecision

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/VariableTrackingPrecisionRefactoring@13448 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
move and rename ValueAnalysisPrecision to VariableTrackingPrecision, additionally all ConfigurationOptions are now extracted into an own class

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/VariableTrackingPrecisionRefactoring@13449 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
file which was forgotten in previous commit (r13449)

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/VariableTrackingPrecisionRefactoring@13450 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
refactored APRON cpa so that it uses the variabletracking precision, like the octagon cpa and the value analysis cpa

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/VariableTrackingPrecisionRefactoring@13452 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
merge from trunk

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/VariableTrackingPrecisionRefactoring@13478 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
merge from trunk

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/VariableTrackingPrecisionRefactoring@13658 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
fixed the option handling of the variabletracking precision

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/VariableTrackingPrecisionRefactoring@13662 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
merge from trunk

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/VariableTrackingPrecisionRefactoring@13663 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Reintegrating branch for refactoring of some precisions into trunk

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