Changed the Closing strategy
Changed code in order to use the shortest prefix algorithm.
Removed unused imports
Removed unused code. Now the only change since Learlib master is the
printing method.
Added algorithm that keeps the shortest access sequences as prefixes in
the observation table.
Added some code used for testing.
TODO: remove code before merging with master.