AgentNameWriter (Output)

Maps each observed agent name to a unique numeric ID. Emits two files: a binary file containing vectors of name IDs by time, and a text file providing a mapping between numeric IDs and text names. Used, eg, for generating visualizations.