Merge "Add CI Dockerfile"