Add a semaphore implementation Sem using Awaitable

[polytypic]

This adds a low overhead and optimistic semaphore implementation Sem that supports poisoning using the Awaitable abstraction. This seems to outperform the previous Semaphore implementation, probably due to optimistic use of fetch_and_add, and also requires less code as the queue management is done by Awaitable.