A Programming Language for Genetic Engineering of Living Cells