Merge branch 'congruence' of https://github.com/AFellner/Skeptik into congruence

Conflicts:
	src/main/scala/at/logic/skeptik/parser/ProofParserVeriT.scala
Add instruction to increase PermSize
Bump Scala version
Add “*private*” to gitignore
Merge
Merge commit '0bd822a93477bd6deead572d7c337d42c02e16b3' into congruence
Merge branch 'develop' into congruence