ShellCheck, a static analysis tool for shell scripts