learnlib-0.13.1

Full changelog

Fixed

• Fixed an out-of-bounds error in a cache implementation
• Fixed visibility issues with exportable classes used for the ResumableLearner interface
• Fixed an issue when adding a new symbol to a learner and the initial alphabet was already an instance of GrowableAlphabet
• General consolidations (typos, wrong documentation, etc.)