command line option for extract-ghkm: --TreeFragments