Don't store options in Vim sessions

Otherwise restoring them will break lots of things with conflicts. See
also standup on 2014-01-21.