Improve the delete functionality

This commit deals with 2 points:

 * when you upload even small files it seems quite slow before the icons tells you it is done:
   * It is still slow the interection with the server.But now, it updates the icon as soon as the upload thread finishes.
 * After deleting the icon still tells you the file is up to date on the repo.
   * This used to occur if the user clicked on reload button while uploading. Now, this button is disabled.

re #7031
Change the requirement for deleting entries from ScriptRepository

Request "Get rid of the local file deletion. I don't think users will expect this, make delete only delete from the repository."

The script repository will not remove files locally. The ScriptRepository.h
indicates this change and ScriptRepositoryTestImpl.h translate the current
requirement on removing entries from repository.

re #7031
Implement the new requirement for deleting entry

re #7031
Adapt the RepoModel to the new requirement on deleting entries

re #7031
Allow the ScriptRepository Widget to be resized in a better way.

re #7031
Merge branch 'feature/7031_deleting_scripts' into develop