web_server: Properly set SCRIPT_NAME and PATH_INFO.