add dev container features by franco-ruggeri#580

franco-ruggeri wants to merge 2 commits intodevcontainers:gh-pagesdevcontainers/devcontainers.github.io:gh-pagesfrom

franco-ruggeri:gh-pagesfranco-ruggeri/devcontainers.github.io:gh-pagesCopy head branch name to clipboard