Adds (dynamic) batch delete feature to the file manager,