v5.1.0

• The launcher script in the container now gives extra infos in case of failure.
• sudo(8) is now used (if available) to run the commands as the unprivileged user in the container instead of su(1).
• The project.build_context key allows changing the docker-build context directory.
• Options -v and --version now behave appropriately

Thanks to all the contributors !