While the default Google Docs file format exists solely in the cloud, you do have a handful of options for turning those documents into other file types.