Added shutdown hook for restoring the terminal
Docs: expand new issue section of CONTRIBUTING
prevent another StringIndexOutOfBoundsException in Graph.toAscii
Update CONTRIBUTING.md
Docs: note that JLine now looks at .inputrc
API docs: Fork.scala
fix ForkScala.fork overload, which forwarded to itself, looping
Docs: remove remnants of static site
Use repo.scala-sbt.org everywhere to be more independent of hosting details.
Docs: add sublit role that processes inline formatting, make default codeliteral role do no additional processing.

This was necessary because too many `` uses had * or | in them.
initial refresh of getting started guide for 0.13: multiple projects and plugins

still todo: Custom-Settings, Full-Def
Docs: Fix tasklevel section in the logging howto.  Ref #843
Docs: fix node constructed by code_literal role
use specific hashes for source-plugins test for reliability
Docs: version reorganization again in conf.py
Merge branch '0.13' into 0.13.0 for RC5
0.13.0-RC5