Move SBT to 0.13.5-RC1, and prepare for 0.4