Vscode : release version 0.2.2 of the vscode extension

[Alidra]

This version implements the following changes/fixes :

• code refactoring of the client for maintenability.
• fix the bug that causes the proof navigation to malfunction when the Goals panel is closed by the user. Now the panel is recreated whenever needed. If focus is taken away frol the Goals panel, focus is given back to it when user starts navigating proofs again.
• fix bug related to navigating sub-goals : navigating next subgoal stops before { instead of after it so that next subgoal is correctly shown in the Goals panel.
• change navigation with navigate until cursor : Navigation includes the command if the cursor is whithin its range instead of the line above.
• first command is no more systematically navigated. If the current command is the first one, navigating the previous command results in no command being navigated.

Note that the second point in the above list requires the last modifications in the Lambdapi server (currently in master) to work properly. However, the modifications do not seem to break anything if used with a previous version of Lambdapi (At least not the last released one from the market)

[fblanqui]

Hi Abdelghani. Thank you for your PR. Note that CI/build_vscode_extension failed.

[Alidra]

Hi Abdelghani. Thank you for your PR. Note that CI/build_vscode_extension failed.

Indeed. The secret name is incorrect.

[Alidra]

@fblanqui. I corrected the name of the secret in the workflow file. I also added an additional condition to unsure that the extension is published only when pushing to master branch (and not to feature branches). I added some comments too in the Makefile to explain when the extension will be published.