Better proof structure

- each entry in proof is of the form
  (conclusion, rule of inference used, assumptions used)
- remove the deduction rule of inference
- improved Proof.__str__ to display it as columns
- implemented ProofStrategy.__str__
- implemented Assumption.__str__