Fix architecture mapping for raspberrypi (#338)

The Raspberry Pi presents itself as an `armv7l` architecture and with this mapping the install script is will download the most appropriate archive for this platform.

Author: Maurizio Branca

Diff for: install.sh

@@ -35,7 +35,7 @@ initArch() {
 	case $ARCH in
 		armv5*) ARCH="armv5";;
 		armv6*) ARCH="armv6";;
-		armv7*) ARCH="ARM";;
+		armv7*) ARCH="ARMv7";;
 		aarch64) ARCH="ARM64";;
 		x86) ARCH="32bit";;
 		x86_64) ARCH="64bit";;