Implement additional constructor for proofs, add pebbling to measurements and move pebbling algorithm

Proof now can take a permutation map for premises as input.
The measure method of the proof package object can now can measure the pebbling of a proof.
Pebbling is now in at.logic.scala.algorithm.compressor and the apply method returns a proof.