[graph-tool] Most Efficient Way to Save Lots of Small Graphs