Renaming

[janmasrovira]

This pr allows renaming identifiers from the command line by using juvix format --in-place --dev-rename <rename-spec>.

I've marked the flag as dev because it is considered unsafe as it can cause shadowing, ambiguity or similar problems. Alos, qualified names are not handled properly. At the moment, it should not be used by end-users.

The <rename-spec> part has the following syntax:

<rename-spec> := <PkgName> ; <TopModuleName> ; <OldName> -> <NewName>

<PkgName> and <TopModuleName> are allowed to be omitted with an _.

Example usage:

1. Renames the if identifier defined in the stdlib package, in the module

   `Stdlib.Data.Bool.Base`, by an `ite`
   juvix format --dev-rename "_;_;if -> ite" --in-place
   

2. Renames the if identifier defined in any package, in any module, by an ite

   juvix format --dev-rename "_;_;if -> ite" --in-place
   

[jonaprieto]

This would be quite useful! Please open a PR on vscode-juvix once you merge this so we can implement the renaming provider in VsCode.