ShellCheck-0.7.2: Shell script analysis tool