Added Ninja-IDE to the list of Python editors.