def URL(spec):
if urllib.parse.urlparse(spec).scheme:<EOL><INDENT>return spec<EOL><DEDENT>return '<STR_LIT>' + spec<EOL>
If spec already looks like a URL, just return it. Otherwise, assume
it is a filename and return it as a file url.