SYNOPSIS
	string *get_dir_ext(string str)

DESCRIPTION
	This function takes a path as argument and returns an array of file
	names in that directory. It basically does the same as the function
	get_dir(), but appends a slash '/' to directory filenames and
	'*' to files which are loaded.

	get_dir_ext("/w"); returns ({ "w" })
	get_dir_ext("/w/"); and get_dir("/w/."); return contents of 
	  directory "/w"
	get_dir_ext("/");, get_dir("."); and get_dir("/."); return contents
	  of directory "/".

SEE ALSO
	get_dir(E), cat(E), mkdir(E), rmdir(E)
