Machines or arrangements for roughening or patterning freshly-laid paving courses, e.g. indenting rollers