Create `devcontainer.json` to enable GitHub CodeSpaces

[yvan-sraka]

Changelog

- description: |
    Add VSCode DevContainer / GitHub CodeSpaces configuration
# uncomment types applicable to the change:
  type:
  # - feature        # introduces a new feature
  # - breaking       # the API has changed in a breaking way
  # - compatible     # the API has changed but is non-breaking
  # - optimisation   # measurable performance improvements
  # - improvement    # QoL changes e.g. refactoring
  # - bugfix         # fixes a defect
  # - test           # fixes/modifies tests
  - maintenance    # not directly related to the code
  # - release        # related to a new release preparation
  # - documentation  # change in code docs, haddocks...

How to trust this PR

Checkout the branch in VSCode, then Ctrl+P "Dev Containers: Reopen in Container" (you should have the Docker daemon running on your machine), then build the project from the integrated terminal.

Checklist

• [x] Commit sequence broadly makes sense and commits have useful messages
• [x] New tests are added if needed and existing tests are updated. See Running tests for more details
• [x] Self-reviewed the diff

[github-actions[bot]]

This PR is stale because it has been open 45 days with no activity.

[github-actions[bot]]

This issue was closed because it has been stalled for 60 days with no activity.