An Open Source VM-based Lease Manager