doctor: fix PATH issues in comments

Closes #25170.

Signed-off-by: Jack Nagel <jacknagel@gmail.com>
datomic 0.9.4353

Closes #25168.

Signed-off-by: Adam Vandenberg <flangy@gmail.com>
sbt 0.13.1

Update homebrew formula to latest stable sbt.
Devel now at the most recent nightly.

Details
----

Prod
o Update the version of the launcher.
o Update the sha1 of the sbt launcher.
o Update the url of the launcher.

Devel
o Updated the url for devel to the latest nightly.
o Update the devel version
o Update the sha1 for devel.
o v 0.13.2-20131212-062515

Fix trailing whitespace.