[RFC] DownloadAndExtractFile.cmake: only skip if directory is not empty.

@jszakmeister

Fix #1433