Johannes Kanig authored Mar 21, 2014 and MARCHE Claude committed Nov 25, 2014

This type groups three elements that are used to evaluate prover output.
Grouping this will allow easier reues of existing code for the VC server
facility.

* call_provers.ml:
new type prover_result_parser
(parse_prover_run) extract code to parse prover output in a function
(call_on_file, call_on_buffer) group three arguments into one, and adapt
   calls

* driver.ml:
modify type driver to group three fields into one
(parse_driver) modify according to change in type
(call_on_buffer) modify call

* session_scheduler.ml
adapt call