CyPhyHouse: A programming, simulation, and deployment toolchain for heterogeneous distributed coordination.