pulse2-setup: add --glpi-purge-machines option

This option configures glpi.ini webservices section.

If True, machines who are deleted from Pulse will be purged directly
from GLPI's dustbin.