Fix few missing indentations in scripts

doc.zih.tu-dresden.de/util/check-code-style.sh

@@ -110,7 +110,7 @@ fi
 
 any_fails=false
 
-for file in $files; do
+for file in ${files}; do
   # Skip the check of this current ($0) script.
   if echo "${file}" | grep -qP "check-code-style.sh$"; then
     continue

doc.zih.tu-dresden.de/util/check-templated-code-snippets.sh

@@ -43,14 +43,14 @@ fi
 
 all_ok=''
 for f in ${files}; do
-if ! ${pythonscript} ${f}; then
-all_ok='no'
-fi
+  if ! ${pythonscript} ${f}; then
+    all_ok='no'
+  fi
 done
 
 if [[ -z "${all_ok}" ]]; then
-echo "Success!"
+  echo "Success!"
 else
-echo "Fail!"
-exit 1
+  echo "Fail!"
+  exit 1
 fi

doc.zih.tu-dresden.de/util/grep-forbidden-patterns.sh

@@ -189,7 +189,7 @@ fi
 #Prevent files from being printed when the script is invoked with default
 # arguments.
 if [[ ${verbose} == true ]]; then
-echo "... ${files} ..."
+  echo "... ${files} ..."
 fi
 cnt=0
 if [[ ! -z "${file}" ]]; then