CodingGuidelines: mention whitespace preferences for shell scripts