Gcoverage

This diff implements a new pipeline for post-processing KLEE results, to keep the post processing details out of the main runner class.

This diff also disables email notifications (we may reenable later, when we can make it fit into the pipeline or remove entirely)