bugfix: output of wrong type was assigned in sopnet.cpp
added timing output to TolerantEditDistance
added option to MinimalImpactTEDWriter to consider only a subset of sections