Google Docs has added a batch export tool allowing you to Zip up multiple files for a single download. The download limit is 2GB, which should cover quite a few documents.