Add documentation for installing with `mip`. Keep the instructions
for installing using `upip` for now, as we still intend to publish
to PyPI for now, and thereby keep supporting installing on older
MicroPython versions, which do not yet have `mip`.