tooling to convert to pajek format