Diamond tool sharpener