Print make version in configure output.

This should make it easier to figure out random build issues.

Change-Id: Ic037ecc94a3c8386043349db1573c3587d7e1fda

tools/configure

@@ -4220,6 +4220,9 @@ fi
 
 echo "Using $LD $ldver"
 
+makever=`make --version | head -1`
+echo "Detected make $makever"
+
 # check the compiler for SH platforms
 if test "$CC" = "sh-elf-gcc"; then
   if test "$gccnum" -lt "400"; then