autoOne functionality update for Agda v2.7.0 and up

[iwashis]

With version 2.7.0 of Agda and the introduction of mimer (instead of agsy) for auto mode, Cmd_autoOne comes with arguments:

  -- | Solve (all goals / the goal at point) by using Mimer proof search.
    | Cmd_autoOne  Rewrite   InteractionId range String

(see https://github.com/agda/agda/blob/11e54c0e0229996c22ed7b53a50694933de84b09/src/full/Agda/Interaction/Base.hs#L174 for reference). This is an inconsitency between agda and cornelis types for interaction and brakes cornelis command :CornelisAuto which throws an error.

The proposed change to the repository fixes the issue and creates type consistency between cornelis and agda Interaction datatype.

[isovector]

Looks very reasonable, thanks! Let's see what CI says

[iwashis]

@isovector Thanks! All checks have passed, so I guess the change is good to go.

[isovector]

Thanks for the PR (and the reminder)!