upgrade to sbt 0.13.1-RC3
make 'tortoise shell' script quieter on startup

using flag which is new in sbt 0.13.1