Distributed semaphore written in Python on top of RabbitMQ