Maximal cliques can be written directly to a file (#513).