micro: Update to 2.0.13

[TheRealKeto]

This PR originally updated micro to 2.0.11. It now updates micro to 2.0.13. As of August 12, 2024, this PR includes

• Package updates and Makefile notes
• Patch to report a better version message
• Many, many changes from Procursus upstream

This new version of the project also provides further support for languages in its embedded runtime, while also adding more features. Tested both on iOS 12 and macOS Monterrey 12.6.1.

All Submissions

• Have you made sure there aren't any other open Pull Requests for the same update/change?
• This Pull Request doesn't contain any package additions; it's a small change (e.g README change)

Package Additions/Updates

• Have you confirmed this builds & works as intended on an iOS device (if applicable)?
• Have you confirmed this builds & works as intended on a macOS device (if applicable)?