Fix to issue #76 - Use php5 for some dists with new command-line switch (#77)

* added special option --use-php5-package

* parse options and export new environment variable USE_PHP5_PACKAGE

* added choice between php5* or php7.0* packages (recommited)

* fixed php*-fpm service name and php.ini file path (recommited)

* prepare socket name for nginx to work with php5-fpm or php7.0-fpm (recommited)

* added ppa:ondrej/php5-compat repo

* added dependency ppa:ondrej/php repo and package software-properties-common

debian/install.sh

@@ -157,7 +157,11 @@ server_address=$(hostname -I)
 
 #restart services
 systemctl daemon-reload
-systemctl restart php7.0-fpm
+if [ .$USE_PHP5_PACKAGE = .true ]; then
+        systemctl restart php5-fpm
+else
+        systemctl restart php7.0-fpm
+fi
 systemctl restart nginx
 systemctl restart fail2ban