Refactored bots, simplified asyncio

Number of leases is now dictated by server. New helper classes
which create devices and workers.