Камни, бруски и круги точильные, инструмент для заточки