Fix Zinc breakage

Use sbt 0.13 for building zinc.

Let's get rid of override of sbt version when building zinc. Zinc has
already migrated to sbt 0.13 and it doesn't have to be treated specially.

The second commit includes some cleanups related to sbt-version-overrides.