add python-highlight plugin