Deploy .gitconfig to jenkins' home directory.

This commit fixes #21.
Merge branch 'id/21' into dev