Fix issue #71
Merge commit '763103ad61f541b921743f637ab405ca3274a619' into develop

* commit '763103ad61f541b921743f637ab405ca3274a619':
  Fix issue #71

Conflicts:
	src/main/scala/at/logic/skeptik/parser/ProofParserSkeptik.scala