Propagating information about correct locations and information needed for counter-example model in fast wp.

Bugfix - printing the terms that should be in counterexample caused the modification of the list of these terms that is passed to parser of counter-examples (each term was then twice in this list).

Refactoring of adding counter-example related data when creating new variable in wp + adding these data to fast wp (not completely finished).

Merge branch 'new_counterexample_parser' of git+ssh://scm.gforge.inria.fr//gitroot/why3/why3 into new_counterexample_parser

Conflicts:
	src/driver/parse_cvc4_z3_model.ml

The first one is the main file, the rest only supply
rules for individual theories and modules.