Revert in Workdir

This binds git_revert.

- [x] Interop
- [x] Mainline selection
- [ ] Merge options
- [ ] Checkout options
- [ ] XML doc-comments
- [ ] Adequate tests
- [x] Ensure there are no missing EOF newlines