debian: Fill in gecos field for jenkins user

Otherwise when Jenkins runs git, git will complain that the identity is
not set up correctly and will fail.
Merge pull request #591 from petere/debian-gecos

debian: Fill in gecos field for jenkins user