remove history download

This addon adds the ability to remove the "Download" button in the resource history. Can be useful when you want to limit downloading old versions of the resource. Also, the plugin has its own right to download resources from the history.