why3ide: counterexamples now centered on goal in counterex view
Note that the goal location needs to be edited in the same way as the color locations (on the ce view) because counterexamples are introduced (adding lines).
This also adds the goal location in the Source_and_ce API constructor.
fix #345 (closed)