Programming Living Machines: the case study of E. coli