Manage the Dovecot mail server with Puppet