iOS platform scripts to be used by buildbots

platform_tools/ios/bin/ios_push_if_needed

Index: platform_tools/ios/bin/ios_push_if_needed
diff --git a/platform_tools/ios/bin/ios_push_if_needed b/platform_tools/ios/bin/ios_push_if_needed
index adb1afe34c28f520189c95e7420cc8998fdd042d..11b9dfa7671b5928a24ca343e0a804a212f6772e 100755
--- a/platform_tools/ios/bin/ios_push_if_needed
+++ b/platform_tools/ios/bin/ios_push_if_needed
@@ -5,6 +5,13 @@
 # Use of this source code is governed by a BSD-style license that can be
 # found in the LICENSE file.
 ###############################################################################
+#
+# Copies the files identified by the first argument from the host to the target
+# path on the device. The path on the devide is relative to the Documents
+# directory.
+#
+
+set -x -e
 
 SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
 source $SCRIPT_DIR/ios_setup.sh