Rename a stage called "buildfull" to "dev" #102
Description
The stage buildfull is not useful and confusing.
We want to offer the end-user a container with every development system library and package (make, build-essential) installed.
{{ message }}