ETHZ-SGRT 2022.2.5.4.3_3

The shell-building process uses pre-compiled bitstreams in BITSTREAM_PATH when required.
OpenNIC workflow integrated
GitHub integration improved
sgutil cleanup 👉🏻 check on scripts moved to the top.