Mixed sync-async queue to interoperate between asyncio tasks and classic threads