Proposed changes

Publish the dev container to Github container registry to reduce the time it takes to install all of the dependencies to start developing. In addition it makes the dev environment more reliable as apt-get install performance can be unreliable at times as the automatic mirror selection does not always choose a close-by debian mirror.

A workflow has been added to also periodically publish the devcontainer image (or on demand).

Types of changes

• Bugfix (non-breaking change which fixes an issue)
• New feature (non-breaking change which adds functionality)
• Improvement (general improvements like code refactoring that doesn't explicitly fix a bug or add any new functionality)
• Documentation Update (if none of the other choices apply)
• Breaking change (fix or feature that would cause existing functionality to not work as expected)

Paste Link to the issue

Checklist

• I have read the CONTRIBUTING doc
• I have signed the CLA (in all commits with git commit -s)
• I ran cargo fmt as mentioned in CODING_GUIDELINES
• I used cargo clippy as mentioned in CODING_GUIDELINES
• I have added tests that prove my fix is effective or that my feature works
• I have added necessary documentation (if appropriate)

Further comments