A Jenkins plugin to use Credentials for ssh keys to git repos