Hand-actuated tools other than rollers, tampers, or vibrators, specially adapted for imparting a required finish to freshly-laid paving courses