Jenkins trac plugin