GitLab

- use the default editor if no specific editor known
- keep the former result after edition, although obsolete

Note that the "default_editor" setting is moved from the IDE config to
the main config section

Filename problems remain.

symbolic link.

This reverts commit 684bed7f.

(cherry picked from commit 903a0b53)

Source_and_ce now takes locations as arguments too. The server now uses
the source to compute a new list of locations which corresponds to correct
locations in a file where counterexample comments are added.

we now use a conversion function before displaying an arbitrary string in
a GTK text widget

This commit clean some of the spark specific code for ce replacing it with
more modular algorihtm.
Some type are now given by the model parser in order to get the variables
that are updated by an else branch.

that allows us to get more counterexamples, one for each sub-VC

CE oracles updated accordingly

the variables labelled with "model" are kept, so as to produce better
counterexamples

also: declaration of labels grouped together in Ident module