The Gemmini page in the Chipyard docs were pretty out-of-date. This PR fixes that by deleting most of Chipyard's Gemmini page, and replacing it with a short description and a link to Gemmini's self-hosted docs. This is a better solution, because it reduces doc-duplication.