Updating cider and company mode, reenabling auto-revert-mode