Added python folding and ghci config file