remove even more information from stdout during the extension

[sebhtml]

Should keep only:

Rank 1038 is extending seeds [1811/4705]

and also those that say the progress on successful traversals

Rank 3645 starts on seed 549, length is 173, flow 0 [549/4898] Rank 2840: assembler memory usage: 1152020 KiB Rank 2840 starts on seed 1918, length is 101, flow 0 [1918/4702] Rank 1805: assembler memory usage: 1151440 KiB Rank 1805 starts on seed 1971, length is 101, flow 0 [1971/4711] Rank 1905: assembler memory usage: 1156816 KiB Rank 1905 starts on seed 1632, length is 108, flow 0 [1632/4733] Rank 1038 traversed 589575 nucleotide symbols Rank 1038: assembler memory usage: 1151744 KiB Rank 1697: assembler memory usage: 1174508 KiB Rank 1697 starts on seed 1265, length is 120, flow 0 [1265/4619] Rank 1408 traversed 586742 nucleotide symbols Rank 1408: assembler memory usage: 1161328 KiB Rank 1408 starts on seed 1887, length is 106, flow 0 [1887/4858] Rank 1038 is extending seeds [1811/4705] Rank 1038 starts on seed 1810, length is 105, flow 0 [1810/4705] Rank 2768: assembler memory usage: 1151584 KiB Rank 2768 starts on seed 1818, length is 104, flow 0 [1818/4792] Rank 2768 starts on seed 1819, length is 104, flow 0 [1819/4792] Rank 2048: assembler memory usage: 1156184 KiB Rank 2048 starts on seed 1756, length is 107, flow 0 [1756/4785] Rank 1158: assembler memory usage: 1172256 KiB Rank 1158 starts on seed 1297, length is 119, flow 0 [1297/4662] Rank 3002: assembler memory usage: 1152148 KiB Rank 3002 starts on seed 1783, length is 104, flow 0 [1783/4705] Rank 3536: assembler memory usage: 1152120 KiB Rank 3536 starts on seed 1732, length is 105, flow 0 [1732/4687] Rank 1143: assembler memory usage: 1152148 KiB Rank 3925: assembler memory usage: 1153656 KiB Rank 3925 starts on seed 1691, length is 110, flow 0 [1691/4790] Rank 1143 starts on seed 1902, length is 100, flow 0 [1902/4655]

[sebhtml]

7b777f6cb4e300820f2d10f0dfe5fed81c4a274b