more tools for managing jenkins