Test the new lower-in-the-middle rule for RedRec (WIP)
Merge remote-tracking branch 'origin/feature/lowerMiddle' into lowerMiddle
Curryfy RedRec functions
Simplify RedRec.reduce
Fix lowerMiddle rule
Prepare code for tests
Fix name method
Improve toString method
Abbreviate "EliminateTautologies" in the CLI
Add simple proof for testing "EliminateTautologies"
Merge commit '9eea83fe85ab000163482ea872825a1914fd6721' into develop

* commit '9eea83fe85ab000163482ea872825a1914fd6721':
  Implement suggested changes in BWSt
  Improve existsAmongAncestors for speed
  Add existsAmongAncestors method to ProofNode
  Use bottomUp traversal in check of ancestor in the BWSm algorithm
  Implement BWSm and rename old BWS to BWSt
  Remove reference fixedPremise, merge with main repository
  Implement BackwardSubsumption and intermediate RecyclePivot algorithms
  Implement second version of RecycleUnits and a test for this algorithm. Add RecycleUnits to CLI.
  Implement first version of RecycleUnits
  Make axioms subsumable and replace name ForwardSubsumption by FWS
  Implement suggested changes and add ForwardSubsumption to CLI
  Implemented a first version of the naive subsumption algorithm

Conflicts:
	src/main/scala/at/logic/skeptik/algorithm/compressor/package.scala
Merge commit 'b8ac701d50d79943983975c5aee7038c5a9f6e6b' into develop

* commit 'b8ac701d50d79943983975c5aee7038c5a9f6e6b':
  Prepare code for tests
  Fix lowerMiddle rule
  Simplify RedRec.reduce
  Curryfy RedRec functions
  Test the new lower-in-the-middle rule for RedRec (WIP)

Conflicts:
	src/main/scala/at/logic/skeptik/parser/ProofParserSkeptik.scala
Add proof for testing corner case for Split algorithms
Implement batch processing of input proofs in the CLI

Also upgrade scopt to version 3.1
Fix issue #71
Make mainClass in jar be the new ProofCompressionCLI
Merge commit '763103ad61f541b921743f637ab405ca3274a619' into develop

* commit '763103ad61f541b921743f637ab405ca3274a619':
  Fix issue #71

Conflicts:
	src/main/scala/at/logic/skeptik/parser/ProofParserSkeptik.scala
Improve CLI
Bump scala and library versions
Shorten algorithm abbreviations