changed nnfHelper to deMorgan with 'real' deMorgan behavior
added Tests for DIMACSParser, deleted unused import, corrected some little mistakes in ImmutablePLClauseTest
refactoring qdimacs2Formula and qdimacs2FOLClauses, added links with definition of the corresponding file formats