docker ide, getting started with goa

[dckc]

docker-compose file:
https://gist.github.com/dckc/9246f9d013d08c0a50ebdbcaa4384146

[dckc]

https://github.com/skalk/genode-devel-docker/blob/master/Dockerfile is one from one of the genode developers

https://genodians.org/skalk/2020-09-29-docker-devel