cgi.py: Set the default static URL prefix from user's `SCRIPT_NAME'.