chore(deployment): script to deploy for download

A fully untested utility script allows to unpack a tar file previously
created from `*-depoly.sh` scripts to a suitable location to be
compatible with the downloads links we generate in the documentation
index.

Related to #107
[skip ci]

.linux-deployment-to-downloads.sh

@@ -0,0 +1,16 @@
+#!/bin/bash
+# A specialized script which copies the contents of deployment tar files to a given location, suitable
+# to be served as 
+tar_file=${1:?Must be .tar file produced by any of the *-deploy.sh scripts}
+program_type=${2:?Is the type of the program contained in the tar file, e.g. cli}
+version=${3:?The program version contained in the tar file}
+os_name=${4:?The OS name on which the contents of the tar files was produced, e.g. osx, ubuntu}
+base_dir=${5:?Is the root path of the download directory, e.g. /var/www/downloads}
+
+
+dest_dir=${base_dir}/google.rs/${program_type}/${version}/${os_name}
+mkdir -p ${dest_dir} || exit $?
+cd ${dest_dir} && tar -xzvf ${tar_file} || exit $?
+
+
+echo Extracted programs from $tar_file to ${dest_dir}