install_nginx : On a raspberry pi using Debian,  use directly the debian package instead of adding the nginx repository (which doesn't have the armhf package)