Provide a proper way of distributing quint libs that are dependencies

[bugarela]

The generated code depends on some quint libs to run. Since quint has no package management, we can do something like:

• output the generated model into a folder
• download the libs (from github) into that folder, ensuring things are properly linked (in the import paths)

[bugarela]

Idea from @shonfeder : ship the lib files with the generator crate