Ensure colrev is installed in devcontainer setup#1

geritwagner wants to merge 1 commit intomainCoLRev-Environment/colrev-tutorial:mainfrom

codex/fix-codespaces-setup-for-colrev-packageCoLRev-Environment/colrev-tutorial:codex/fix-codespaces-setup-for-colrev-packageCopy head branch name to clipboard