tools & plugin for jenkins