Fix patterns for .gitattributes

In different contexts, git treats a trailing wildcard pattern
differently, and in .gitattributes it does not apply recursively.
A double star would, but at least the last time I tried, it did not work
with the version of git that runs on Jenkins.

Change-Id: Iac53b755a2931e8cd3ccdb6169346b0631715986