Make use of dh_auto_install to install php.ini

Change-Id: I822733d1f3476f25e5b43c88f48122f56e980226
Signed-off-by: Giuseppe Lavagetto <glavagetto@wikimedia.org>