build the pipelines image from Dockerfile

This adds a Dockerfile to build an image for the pipelines, once and for all, until we decide to bump the Rust toolchain.

changelog

• add .gitlab-ci.dockerfile which
  • uses rust:latest as a base (it appears using alpine:latest is both bigger and slower )
  • installs basic system dependencies
  • uses rust-toolchain.toml to install the toolchain of the project
  • installs cargo-script
• use gitlab-registry.isae-supaero.fr/dragoon/komodo:bcb0e6b in the GitLab pipelines and ghcr.io/dragoon-rs/dragoon/komodo:bcb0e6b in the GitHub pipelines and remove the "manual" dependency installation
• add ./make.rs container, ./make.rs container --login and ./make.rs container --push
  • uses nob.rs@7ea6be8 to capture output of commands with + syntax
  • get the current Git SHA as the tag of the image
• instructions have been added to the README.md for later reference

mirror

speed

the performance appears to be around

• ~ 1min 35sec on GitLab (see 8331, 8332, 8333, 8334, 8335, 8336, 8337, 8338, 8339, 8340, 8341, all after b82e8950)
• ~ 4min on GitHub (see 14263257396, 14263314072, 14263368772, 14263575177, all after 5bdca8c)