Remove tips and short isolated vertices from a de bruijn graph that resides in a file, in constant memory