sbt: update to version 0.13.7
Merge pull request #5054 from j-keck/master

sbt: update to version 0.13.7