* more docker infra * build needs directory argument * end with / * yamllint fixes * also copy grp file
Michel Oosterhof