The automatic-design tools that are changing synthetic biology