Technical report converted to odt.
Merge branch 'minimalize_repair' of https://github.com/navrkald/regularConvertor into minimalize_repair