Add Quint language support

Quint is a modern specification language for distributed systems and protocols. It combines the expressive power of TLA+ with a more accessible syntax inspired by TypeScript/JavaScript. Quint specifications can be simulated, tested, and verified using the Quint toolchain.

## Language name

Quint

## URL of example repository

- https://github.com/informalsystems/quint/tree/main/examples
- https://github.com/christophercampbell/blockchain-specs

## URL of syntax highlighting grammar

https://github.com/informalsystems/quint/blob/main/vscode/quint-vscode/syntaxes/quint.tmLanguage.json

## Most popular extensions

.qnt

## Detected language

Not detected (files are unrecognized)