Added tibor to the lists of developers.