Move to using tar.gz. The zip file has too much variation with line
endings, so avoid that problem by extracting it, using Unix line
endings and putting that up. Since we have to provide a dist file
anyway, seems like the prudent thing to do.