Package Manager: allow installing package by name / url

[vshymanskyy]

This ticket is to document work in progress:

• [x] support multiple builtin mip indexes
• [x] implement (experimental) support for installing native modules, i.e. emlearn
• [x] "Install package via link" button
  • [ ] by name, from builtin indexes
  • [ ] by name@version, from builtin indexes
  • [ ] by short link, github:vshymanskyy/aiodns
  • [x] by short link to package file, github:vshymanskyy/aiodns/package.json
  • [ ] by raw link to package file:
    • [x] https://raw.githubusercontent.com/peterhinch/micropython-async/master/v3/primitives/package.json
    • [ ] https://github.com/vshymanskyy/aiodns/blob/HEAD/package.json?raw=true
    • [ ] https://gitlab.com/alelec/aioprof/-/raw/main/aioprof.py
  • [ ] by non-raw links to GitHub, GitLab
    • [ ] https://github.com/vshymanskyy/aiodns/blob/HEAD/package.json
    • [ ] https://github.com/vshymanskyy/aiodns/blob/main/package.json
    • [ ] https://github.com/vshymanskyy/aiodns
    • [ ] https://gitlab.com/alelec/aioprof
  • [ ] by links to .py or .mpy files:
    • [ ] github:vshymanskyy/aiodns/aiodns.py
    • [ ] github:vshymanskyy/aiodns/aiodns.mpy
    • [ ] https://github.com/vshymanskyy/aiodns/blob/main/aiodns.py

P.S. also, there are many packages that don't have package.json, it would be nice to provide a way to install them as-is. My initial idea is to allow links to tar.gz files with some extra parameter of which subdirectory to install. This is low prio for now. Other ideas welcome.

[vshymanskyy]

FYI @jonnor @RobertBlackhart

[vshymanskyy]

This is complete now