export_dot: grouping operations on machines

still imperfect but better than previously
some result printing utilities