A tool to export graphs to different formats