Replace obsolete gcc flags with supported equivalents.

Recent versions of gcc (e.g., gcc 4.7.2 on Fedora 18) complain about
the use of obsolete flags (even with "-w").
Update changelog with highlights from commits.
Document 'resolveScope' annotation in MLBasisAnnotations page.
Update compile-time option documentation.
Remove `MLton.Socket` structure (deprecated in last release).
Remove 'MLton.Socket' structure from stubs.
Remove unused CM files.
Update 'MLTON_PLATFORM' signature documentation.
Updates to Basis Library implementation for 'resolveScope' annotation.

This commit ensures that the Basis Library implementation type checks
with all 'resolveScope' annotations.  Only compilation with
'resolveScope dec' required changes.

One disappointing aspect of 'resolveScope dec' is that it can force
the resolution of flexible record patterns at an "inner" declaration,
rather than an "outer" declaration.  That is, 'resolveScope dec'
forces resolution at the conclusion of each elaborated declaration,
and forces the resolution of all flexible record added since the last
elaborated declaration.
Remove ViewGitFile links to removed files.

Pull request #10 (commit 7fbd04276e127aeb086c5a807a205609990a67a8)
converted many optimization passes to generic signatures and removed
the pass-specific signatures.
A script to check ViewGitDir, ViewGitFile, and RawGitFile links.
Update ReleaseChecklist page.
Formatting of BugsYYYYMMDD pages.
Create Release201306DD and Bugs201306DD pages.
Tweaks to changelog.
Merge branch 'master' of https://github.com/MLton/mlton into pre-201306-release
Merge pull request #26 from MatthewFluet/pre-201306-release

Initial work for 201306?? release.