This adds a revert command which is similar to backout, but adds the `--destination`, `--insert-after`, and `--insert-before` optoins to customize the location of the new reverted commits. `jj backout` will subsequently be deprecated. Closes #5688.