Disable incompatible modes in Org mode

Frees up all sorts of helpful Org mode bindings
Update ProofGeneral