sbt 0.13.5

Update sbt to 0.13.5 and devel to most recent 0.13.5 RC which was available.