small changes
* fixed wrong settings around display setting
* added hs-minor-mode setting on some major modes
ProofGeneral
* added org-mode
* added snippets