sbt 1.12.5

The headline feature of sbt 1.12.5 is: &#xA; &#xA; sbtn update to print out errors when sbt server fails to start &#xA; backport of runner script fixes &#xA; &#xA; See also 1.12.0 release note for the details on 1.12.x features.