add auto_reload_nginx.bash : automatically reload the nginx service when the config file changed, for development use