Можете объяснить, что представляет собой инструмент Jenkins и для чего он используется в процессе разработки?