Add CI

Merged MUSSET Paul requested to merge separated_docker_file into master

Merge request reports