[#129, #130] Set execute bits for restart_web_server.sh script.