Docker fix

Jean Meuricerequested to merge
docker-fix into master
  • Improved & fixed scripts
  • Fixed CI: docker cleanup (remove images)

Merge request reports