Replace the highlight command by a new command `ide`

[jonaprieto]

The idea of this new command ide is to generate files to be consumed for our text editor plugins (emacs and vs code). The initial proposal is to have:

• .juvix-highlighting
• .juvix-goto
• .juvix-types

Eventually, all the logic to generate these files will be implemented in the LSP implementation. Currently, this is an easy way to support expected features from the plugin editors.