Microsoft’s new Windows File Recovery tool lets you retrieve deleted documents