conTEXT editor added to the list of editors and IDEs