adding python folding plugin