Huile de coupe, WD-40