Use git grep -h for skipping the filenames

That seems to be more portable accross different environments
(aka make it work for dirk)

Change-Id: I4eee201ed0114cf7aa9f9be39d1335326691bf99

tools/grep-all.sh

@@ -31,7 +31,7 @@ declare -a branches=($(git describe --always) origin/master
                     )
 
 function search() {
-    git grep -Ei "^${1}[=><!]" ${2} -- "${3}" | cut -d: -f4-
+    git grep -hEi "^${1}[=><!]" ${2} -- "${3}"
 }
 
 printf '\nRequirements\n'