Implement the revert option
Similarly to cherry-picks, we have an option visible on merged Merge Requests to revert. Internally it's more related to commits.
In #219 (closed), we've replaced the whole modal dialog with an explicit admission that it's not implemented. Now, let's do it:
- core implementation, maybe tested with the REST API
- UI: restoration of the modal dialog