A plugin for Jenkins to use Atlassian Crowd as an identity manager