Add CI Dockerfile
[ric-plt/sdl.git] / ci /
2019-11-04 Rolf BadorekAdd CI Dockerfile 17/1317/5