Avoid denial of service with console output

• Fix remote denial of service due to excessive console output (#166 @burghardt,
  fix in Solo5/solo5#538 by @palainp)
• Use Ubuntu container for build, now GitHub action, ./build-with-docker.sh and
  builds.robur.coop are synchronized (and result in the same artifact)
  (#164 @hannesm)