Merge pull request #736 from cgay/docs

Docs
[dfmc-optimization] contol -> control (typo)
[hackers-guide] Document more about dispatch coloring.
[dylan] Add sealed member?(<byte-character>, <byte-string>) as optimization.
Merge pull request #737 from waywardmonkeys/faster-member-for-bytestrings

[dylan] Add sealed member?(<byte-character>, <byte-string>) as optimizat...
[common-dylan] Preallocate buffer for integer-to-string.

By giving a capacity of 16 to the buffer used for integer-to-string,
much of the reallocation is removed while formatting integers.
Merge pull request #739 from waywardmonkeys/improve-integer-to-string-performance

[common-dylan] Preallocate buffer for integer-to-string.
Update logging & logging documentation for API changes.
[doc,getting-started-cli] Note where things are installed on 64-bit Windows.

Fixes #628.
[io,streams] Clean up whitespace.
[hacker-guide] Fix typo.
[dfmc] Remove unused thread-property-definer.
Merge pull request #743 from waywardmonkeys/remove-unused-macro

[dfmc] Remove unused thread-property-definer.
[dfmc] Remove unused optimization level stuff.

This hasn't been used since 1997 or earlier.
Merge pull request #744 from waywardmonkeys/remove-optimization-level-constants

[dfmc] Remove unused optimization level stuff.
[duim] Remove duim-gifs.

This was never completed or used.
Add 'Running tests' section to README.
[doc,library-ref] Provide an example of finalization.

Fixes #583.
[variable-search] Cleanup whitespace.
[variable-search] Use concatenate instead of format-to-string.