Added a closing strategy: shortest prefix, lexicographic order if the
size equal.
In the example for the shortest CE closes the table using the new
closing strategy and uses the algorithm from Shahbaz for handling the
CE.
Added some logging code, TODO remove it after testing.