Marte Gerhardsen blir ny utdanningsdirektør i Oslo