Move the developer information to the Wiki

This would make the website smaller and focused on providing just end user information.

Here is a proposal

• Move the Benchmarks, Ports, Projects pages to the Wiki.
• Move the documentation part of Hemlock page to the Documentation page
• Move the rest of the Hemlock page to the FAQ
• Move the installation content from the Platforms page to the Download page
• Move the rest of the Platforms page to the Wiki
• Make the Wiki more discoverable from the website perhaps by giving it a menu item

Moving does not necessarily mean preserving all of the content. Information that is obviously stale does not need to be preserved.