Bumping sbt version to 0.13.1

This is hoping for a fast merge after PR validation.