File Explorer

Fix #619: add menus in file selector
Fix #618: replace "Directory" by "Folder"
Fix #617: prompt to force delete a non empty directory/folder