install: map debian_version 9.X to debian stretch

Signed-off-by: Felix Abecassis <fabecassis@nvidia.com>

hack/install.sh

@@ -178,6 +178,9 @@ check_forked() {
 				lsb_dist=debian
 				dist_version="$(cat /etc/debian_version | sed 's/\/.*//' | sed 's/\..*//')"
 				case "$dist_version" in
+					9)
+						dist_version="stretch"
+					;;
 					8|'Kali Linux 2')
 						dist_version="jessie"
 					;;