lava-deployment-tool is now (also) on github