IDEA 13.1.2 -> 13.1.3
undo #2522 merge except on darwin

It was only meant for darwin originally anyway.
See the PR for discussion.
Update to leveldb-1.15.0
maude: update full-maude to version 2.6.1e
weechat: fix pythonpath
sup: update to 0.18.0
update vim to v7.4.316
Supplementary derivation for s3cmd, building from git HEAD.
s3cmd-1.5-pre-81e3842f7a: Use more precise naming convention.
s3cmd-1.5-pre-81e3842f7a: Use buildInputs, not propagatedBuildInputs.
Mark s3cmd-1.5-pre-81e3842f7a as low priority.
raco pkg install ... is not throwing ssl error anymore
chicken: Bump to 4.9.0.
Upgrade rocket to 6.0.1
Update racket to 6.0.1
texlive: enable building xdv2pdf and xdvipdfmx on darwin
texlive: add note to clarify why dvisvgm fails to work on darwin
pythonPackages.libcloud: update to 0.14.1
Added typespeed package.
Revert "s3cmd-1.5-pre-81e3842f7a: Use buildInputs, not propagatedBuildInputs."

This reverts commit 01211ff333a8554a45fbf3147a6ac4e550523a59.