Add Ivan as a core dev