Python library for resource reservation using Redis