I've uploaded 11,000 songs to Google Music and I enjoy streaming it via my computer or Android phone when I'm at the gym, however, I don't see any easy way to download those files should I need them locally. As an alternative, I've also uploaded my collection to Google Docs for safekeeping, but that seems kind of…