Add Efficient-python-folding plugin