Some tools for reading and writing MCCI's civ_* files.