o added a configuration check to make sure z3 is present
o changed the display of the pipeline to get less flickering
o added all the shared variables of the pipeline into one record
o added error messages to the pipeline
added the possibility to type in the "quit" command to stop the verification
the pipeline now serializes the proof obligation