solved the halting problem for boundary facet splitting
some refactoring of sources in bool.tex
changed strategy for computation of splitting seeds
some code refactoring in bool.tex
initialization of splitting task dictionaries corrected