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.