sbt 0.13.0

Bumps SBT to the latest 0.13.0 version and removes 0.13.0-RC5 --devel version. New sha1 also generated and included.