Refactored AbstractLStar and ClosingStrategies. Now they are closer to
the original ones, only some methods are added (printing methods and a
new closing strategy).
Merge branch 'DFAshortestCE' of https://github.com/mvolpato/learnlib.git into DFAshortestCE