iOS platform scripts to be used by buildbots

platform_tools/ios/bin/ios_cat_file

Index: platform_tools/ios/bin/ios_cat_file
diff --git a/platform_tools/ios/bin/ios_pull_if_needed b/platform_tools/ios/bin/ios_cat_file
similarity index 60%
copy from platform_tools/ios/bin/ios_pull_if_needed
copy to platform_tools/ios/bin/ios_cat_file
index 46ad89437ecca76a01183c73326096624922fb35..082de7fd73bce37511bf66bae5d8826bd9527047 100755
--- a/platform_tools/ios/bin/ios_pull_if_needed
+++ b/platform_tools/ios/bin/ios_cat_file
@@ -7,12 +7,15 @@
 # found in the LICENSE file.
 ###############################################################################
 #
-# Pull the given file/directory off the device. 
+# Writes the content of the file identified by the first argument to standard
+# output. The path is relative to the Documents directory of the installed app.  
 #
+
+# Do not set -x here, since we only want the content of the file sent to 
+# standard out. 
+set -e 
+
 SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
 source $SCRIPT_DIR/ios_setup.sh
 
-HOST_PATH=$1
-DEVICE_PATH=$2
-
-ios_pull $HOST_PATH $DEVICE_PATH
+ios_cat $1