chore: remove unused devcontainer and gitpod configs (#5029)