Update pom.xml

learnlib dependencies und änderung des targets von 1.5 auf 1.7
Merge pull request #1 from ReinerDieters/patch-1

Update pom.xml