Updates from the 3.1.1 release. More proofreading tweaks.
Adding some draft ideas to live-programming.scrbl;
removing some of the obsolete stuff.
Move old unfinished tutorial stuff to obsolete/
Add a README.
Some more minor edits.