is_directory(): a generic helper function