Now SmallFoliation constructs nicely. Lengths for different cutting are
tested, stripHeights as well.
The transition matrix is to be added.
Mainly intruduced some filters to throw out SmallFoliations that cannot
result in a pseudo-anosov. But the search is very slow, a lot of stuff
is computed unnecessarily.