Made Diederik a core developer! Thanks a lot for your work!

(Core developers have master commit rights)