New ordering available:
- partitions and similarities are stored as properties so they do not have to be calculated each time from scratch.
- method updatePartitions: updates partitions if a new predicate arrives
- method updateSimilarities: updates similarities of predicates if new predicate arrives
- new method reorderPredicates: gets called from PredicateAbstractionManager and uses just the partitions stored as new ordering

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