Remove duplication of packages

We only deploy on debian/ubuntu where all php modules are prefixed with
`php-`

Author: Michael Vasseur

provision-contest/ansible/roles/domserver/defaults/main.yml

@@ -0,0 +1,4 @@
+DOMSERVER_PACKAGES:
+  - nginx
+  - php-fpm
+  - php-intl

provision-contest/ansible/roles/domserver/tasks/main.yml

@@ -34,10 +34,7 @@
 - name: Install required packages
   apt:
     state: present
-    pkg:
-      - nginx
-      - php-fpm
-      - php-intl
+    pkg: "{{ DOMSERVER_PACKAGES }}"
 
 - name: Set PHP timezone for FPM
   lineinfile:
@@ -51,9 +48,7 @@
   command: phpenmod {{ item }}
   args:
     creates: "/etc/php/{{ php_version.stdout }}/fpm/conf.d/20-{{ item }}.ini"
-  loop:
-    - zip
-    - intl
+  loop: "{{ DOMSERVER_PACKAGES | map('regex_search', 'php-') | select() }}"
   notify: Restart PHP FPM
 
 - name: Add domjudge nginx conf