Debian reproducible: Switch armhf nodes to use new proxy.

bin/common-functions.sh

@@ -138,7 +138,7 @@ else
 		codethink*)
 			export http_proxy="http://192.168.101.16:3128" ;;
 		cbxi4*|wbq0|ff*|jt?1*|virt64[a-z]|virt32[a-z])
-			export http_proxy="http://10.0.0.15:8000/" ;;
+			export http_proxy="http://10.0.0.15:3142/" ;;
 		spectrum)
 			export http_proxy="http://127.0.0.1:3128" ;;
 		snapshot) : ;;

hosts/common-armhf/etc/apt/apt.conf.d/80proxy

-Acquire::http::Proxy "http://10.0.0.15:8000";
+Acquire::http::Proxy "http://10.0.0.15:3142";