.jenkins.sh: install optionnal dependencies