Merge branch 'sept_merge_new_ide' into 'master'

Makefile.in

src/core/ident.ml

src/core/model_parser.ml

src/core/model_parser.mli

src/driver/call_provers.ml

src/driver/call_provers.mli

src/driver/parse_smtv2_model_lexer.mll

src/driver/prove_client.ml

src/driver/prove_client.mli

src/server/proc.c

src/server/proc.h

src/server/server-unix.c

src/server/server-win.c

src/session/controller_itp.ml

src/session/itp_server.ml

src/session/server_utils.ml

src/session/server_utils.mli

src/transform/intro_vc_vars_counterexmp.ml