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
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