ShellCheck, a shell script static analysis tool