docs: Update .github/copilot-instructions.md system dependencies and development setup#2713

Copilot wants to merge 4 commits into

maindevitocodes/devito:mainfrom

copilot/fix-2e1d5240-bd37-45d1-a5b6-a17a678505b5devitocodes/devito:copilot/fix-2e1d5240-bd37-45d1-a5b6-a17a678505b5Copy head branch name to clipboard