referencxe to devpi-puppet installation option