Fixed problem with non printing line
Merge branch 'DFAshortestCE' of https://github.com/mvolpato/learnlib.git into DFAshortestCE
Added logging stats