Update CONTRIBUTING.md - SemanticDiff

Commit

2 years ago

Update CONTRIBUTING.md Use the development docker for the external contributors.