Remove folding-mode in webdev.
Fix latex settings.
Update python-lib.
Remove backbutton and make projectile more stable.