DEV: Rename Knowledge Explorer to Docs (PR #11716)

Removes the old discourse-knowledge-explorer repository and adds the renamed version, discourse-docs.

Will not merge until the upstream changes are done in the Knowledge Explorer plugin repo.

GitHub