Strengthening Chvátal-Gomory cuts for the stable set problem