Der Ex-Github-Chef Dohmke führt eine neuartige Plattform für Software-Entwicklung ein – und macht damit der Microsoft-Tochter Konkurrenz.