Starting improved path compression
Merge remote-tracking branch 'upstream/develop' into path-comp
Merge remote-tracking branch 'upstream/develop' into path-comp
Remove Config module, conflict building toplevel
Lazily add compression formula
Removed references to config.ml
Statistics for compression
Bugfixes to compression

- Revert change to map of terms
- Accept constant state variables
Deal with constant state variables
Reverse simulation with same predecessors
Bugfix: reset list of state pairs on next k
Merge remote-tracking branch 'upstream/develop' into path-comp

Conflicts:
	configure.ac
	src/Makefile.in
	src/kind2-terms.mltop
	src/kind2Config.ml.in
	src/lib.ml
Merge pull request #125 from chsticksel/path-comp

Path compression with successors and predecessors