upgrade to sbt 0.13.1 (-RC3)

0.13.1 is still in RC stage, but there are no open bugs on it except
the one I just added a workaround for, so I think we might as well go
ahead