Add coq package

Package request

Install coq package and ensure support to vscode

• Where should the package be installed? Labs and shell
• Who needs the package? Programming Languages course

Metadata

• Homepage URL: https://coq.inria.fr/
• Source URL:
• Version(s): [latest]