Add a UMIX emulator implementation in RPython.