Add tectonic devcontainer feature listing#714

abdurriq merged 2 commits into

devcontainers:gh-pagesdevcontainers/devcontainers.github.io:gh-pagesfrom

sjp:gh-pagessjp/devcontainers.github.io:gh-pagesCopy head branch name to clipboard