add python-jedit