Added shortlex oracle and an example to work with.
Merge branch 'DFAshortestCE' of https://github.com/mvolpato/learnlib.git into DFAshortestCE