Mention that bt-semaphore is available via Quicklisp.