Manage mini-dinstall Debian repository with puppet