imp(index.html): download links to tar.gz files

That way, we save bandwidth and preserve the executable bit of the
respective program.

Closes #107
[skip ci]

src/bash/linux-deployment-to-downloads.bash

@@ -11,6 +11,9 @@ base_dir=${5:?Is the root path of the download directory, e.g. /var/www/download
 dest_dir=${base_dir}/google.rs/${program_type}/${version}/${os_name}
 mkdir -p ${dest_dir} || exit $?
 cd ${dest_dir} && tar -xzvf ${tar_file} || exit $?
-
+for file in *; do 
+	program_tar_file=${file}.tar.gz
+	tar -czf ${program_tar_file} $file && rm $file && echo "Created ${program_tar_file}"
+done
 
 echo Extracted programs from $tar_file to ${dest_dir}