Toggle god-local-mode instead of god-mode
Add basic ocaml setup for prelude
Merge pull request #611 from RadicalZephyr/prelude-ocaml

Add basic ocaml setup for prelude
Company autocompletion for AUCTeX
Merge pull request #606 from alexeyr/company-auctex

Add company backends for AUCTeX
Merge remote-tracking branch 'upstream/master'