Add option to export ZIP to File

Originally we'd left exportZip returning InputStream with the intent that users could do whatever they wanted with it. However I'm finding that it's a often-desired feature to export to a real File, so add:

void ZipExporter.exportZip(File target) throws IOException;