GitHub Codespaces for ORFS

[mczyz-antmicro]

GitHub Codespaces for ORFS

This PR adds configuration and scripts for deploying GitHub Codespaces with preinstalled tools required to run ORFS flows. Contents of this PR are a copy of openroad codespace repository, which was developed as Proof of Concept and which can be used to test out the solution. The Codespace can also be launched from the Antmicro Fork.

Structure

This PR adds the following features:

.devcontainer - contains the standard Development Container for GitHub Codespaces configuration file github-actions-publish-docker-images.yml - CI workflow to rebuild docker images used by the Codespaces tools/codespace/* - Dockerfile, README and scripts required to build and deploy the solution. There are 2 docker configuration files: Dockerfile-orfs and Dockerfile-lxqt. The latter adds GUI capability on top of the ORFS installation, so that in the future the GUI frontend can be changed or worked on independently.

[oharboe]

@maliberty Unrelated CI failure.

[oharboe]

@mczyz-antmicro Please update to use latest official ORFS image https://hub.docker.com/r/openroad/orfs/tags

@maliberty Otherwise good to go?

[maliberty]

@vvbandeira any concerns?

[oharboe]

@vvbandeira This is intended to be a starting point for further refinements based on feedback, not the final word on the matter.

There are no existing users to consider, so we can start small and see how it goes from there...

[maliberty]

Please resolve the conflicts.