Remove devcontainers-contrib feature from devcontainer

The devcontainer currently uses a mkdocs feature from the devcontainers-contrib project, however that project no longer seems to be active.

See devcontainers-contrib/features#628