Jenkins: install camlzip