Add sky_server for mac host

sky/tools/download_sky_server

Index: sky/tools/download_sky_server
diff --git a/sky/tools/download_sky_server b/sky/tools/download_sky_server
index c3a95a1de7eeb5782ed88115a77df33935e827a6..a3afea0a7c1e996706bdaa0f29318fa58a6fdd4f 100755
--- a/sky/tools/download_sky_server
+++ b/sky/tools/download_sky_server
@@ -6,10 +6,20 @@
 import os
 import stat
 import subprocess
+import sys
 
 from webkitpy.common.system import filesystem
 from webkitpy.common.webkit_finder import WebKitFinder
 
+PLATFORM_MAPPING = {
+    'cygwin': 'win',
+    'darwin': 'mac',
+    'linux2': 'linux',
+    'win32': 'win',
+}
+
+sha1 = 'sky_server_' + PLATFORM_MAPPING[sys.platform] + '.sha1'
+
 finder = WebKitFinder(filesystem.FileSystem())
 
 output_file_ = finder.path_from_chromium_base('out', 'downloads', 'sky_server')
@@ -18,7 +28,7 @@ subprocess.call([
     '--no_resume',
     '--no_auth',
     '--bucket', 'mojo',
-    '--sha1_file', finder.path_from_chromium_base('sky', 'tools', 'skygo', 'sky_server.sha1'),
+    '--sha1_file', finder.path_from_chromium_base('sky', 'tools', 'skygo', sha1),
     '--output', output_file_
 ])
 os.chmod(output_file_, os.stat(output_file_).st_mode | stat.S_IEXEC)