Mantle: Gluing CoreOS together