Add script to restart iOS device

platform_tools/ios/bin/ios_restart

Index: platform_tools/ios/bin/ios_restart
diff --git a/platform_tools/ios/bin/ios_umount b/platform_tools/ios/bin/ios_restart
similarity index 86%
copy from platform_tools/ios/bin/ios_umount
copy to platform_tools/ios/bin/ios_restart
index ddc477c1fb1d85c67638a58185b9ffd7fb192131..6e9c00e7818cca01955a529207a701700dedcd5c 100755
--- a/platform_tools/ios/bin/ios_umount
+++ b/platform_tools/ios/bin/ios_restart
@@ -1,5 +1,4 @@
 #!/bin/bash
-#
 ###############################################################################
 # Copyright 2015 Google Inc.
 #
@@ -7,11 +6,12 @@
 # found in the LICENSE file.
 ###############################################################################
 #
-# Mount the ios device.
+# Restarts the the attached iOS device. 
 #
 set -x -e
 
 SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
 source $SCRIPT_DIR/ios_setup.sh
 
-ios_umount
+ios_restart 
+sleep 20