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