Refactored bots, simplified asyncio.

Number of leases is now dictated by server. Leases are destroyed on
bot after COMPLETED ack. Proper state machine on server side which
can find edge changes.