SAN FRANCISCO — Coding — at least as it's traditionally done, by typing arcane commands on a keyboard — could soon become another job for the robots. That was main idea behind GitHub CEO Chris ...