save number of fragments in double-dop derivations to numfrags.txt