Other changes: * Rename the old `NEWS` file to `NEWS.OLD`. * Update documentation links.
* Use GitHub's Jekyll static site generator. * Move all documentation to docs/ directory. * Convert HTML to Markdown.