Rename deploymentEnv in deploymentMiniOS
Some configuration changed must be made with this version:
- in kadeploy server conf: test_deploy_env -> test_deployment_mini_os
- in cluster congiguration: step called SetDeploymentEnv are now called SetDeploymentMiniOS Using kareboot using the old way (-r deploy_env) is still supported