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