Include EMCL Workshop 2014 talk about propositional proof compression.

Main topics:
Subsumption algorithms
LowerUnivalents
Pebbling algorithms