export factions, too

give this a header and some flags so we can choose in detail what to
export.