Masterstudiengang Informatik, Lehramt (ab WS17/18)