Olivier Lenoir

mpremote: Implement mip install from GitLab.

3

mpremote: Implement mip install from GitLab. tools/mpremote/README.md: Add mip install gitlab:org/repo@branch. Add example `mpremote mip install gitlab:org/repo@branch`. tools/mpremote/mpremote/mip.py: Implement install from GitLab. Modify _rewrite_url() to allow mip install from `gitlab:`...

micropython/mip/mip/__init__.py: Implement install from gitlab.

2

Modify _rewrite_url() to allow mip install from `gitlab:` repository. Signed-off-by: Olivier Lenoir