MirageOS 3 + async maintenance

• Port to MirageOS 3 module types.
• Remove runtime dependency on PPX from META file
• Bugfixes and improvements for async backend compilation (#100 by vbmithr)