Merge pull request #3 from xrchz/master

Add mention of the IRC channel to the front page
Update modification time-stamp on index.html
Update web-pages for Kananaskis-9 release.
Update manual/documentation links for K9.
Put release dates into release note pages.
Make old Kananaskis release notes available.
Fix an HTML error in the release notes for K-1.
Make old release notes pages look nicer.
Minor refinements to CSS for our web-pages.
Correct some gross errors in description of conditional rewriting in FAQ
Slew of minor formatting tweaks to FAQ (lots of <p> additions)
Delete unused page about checking out using svn at sourceforge.
HOL webpages for Kananaskis-10.
Fix <title> of index.html to be K-10 rather than K-9.
Link to Italian translations of the LOGIC and TUTORIAL manuals.
Found another cute HOL link.
Mention HOL Zero in Other HOLs page.
Fix github URL to be to HOL-Theorem-Prover/HOL
Fix error in release notes about Unicode on Windows.
Updates for installation from sources, mentioning Moscow ML 2.10