Use <link> for Google+ website token for HTML5 conformance.
Fix SSA2 page to describe an SSA2 program (not an SSA program).
Merge pull request #83 from MatthewFluet/guide-updates

Miscellaneous updates to guide.