delete_directory fails silently if it contains subfolders#637

kroening merged 2 commits intodiffblue:masterdiffblue/cbmc:masterfrom

NathanJPhillips:bugfix/file_utilNathanJPhillips/cbmc:bugfix/file_utilCopy head branch name to clipboard