Website!

[bugarela]

Hello

This creates a beautiful documentation website for Quint (I'm so excited!!!!!!!).

The PR consists of:

• Setting up the Nextra framework
• Moving many pages around and adapting many links. All the website is under the docs folder.
• Moving .qnt and related assets that used to live under doc/ to examples and adapting many scripts involving them
• Updating the quint docs command to generate a slightly better markdown, so the API reference for builtin operators looks better in the website (and using the search bar is a blast!)
• Defines a React component for a homepage. I'm not a frontend dev, I don't really know React, so that code might be a bit hacky. Contributions welcomed 😬
• Adds two main pieces of content: a getting started page and some important FAQ answers.

Content can be reviewed here. A small number of links have to point directly to the main website (quint-lang.org) because we generate external files with them (and relative paths wouldn't work), so they will be broken for now.

I'd appreciate specially a review of the actual website (rather than the source files, since it's mostly moving things around). Specially the Getting Started guide

[netlify]

✅ Deploy Preview for quint-docs canceled.

Name	Link
🔨 Latest commit	9597052
🔍 Latest deploy log	https://app.netlify.com/sites/quint-docs/deploys/6681ee89ef573d0008857cfa

[netlify]

✅ Deploy Preview for quint-docs ready!

Name	Link
🔨 Latest commit	dc24fb7
🔍 Latest deploy log	https://app.netlify.com/sites/quint-docs/deploys/66843c284d51f60008e08c8e
😎 Deploy Preview	https://deploy-preview-1459--quint-docs.netlify.app
📱 Preview on mobile	Toggle QR Code... Use your smartphone camera to open QR code link.

---

To edit notification comments on pull requests, go to your Netlify site configuration.

[p-offtermatt]

LGTM, nice!

Left a few comments.

I went through the Getting Started guide and everything worked out as described :) I also think the guide is a very nice minimal example to get started with.
I would just recommend a "call to action" at the end of the guide, something like:
"If you want to learn more about language features, here are the tutorials[link].
If you want to see real-life Quint specifications, check out the examples[link]"
There's probably more destinations to link to. The goal would making it as clear as possible where you go after the getting started guide :)