Cutting planes for the Stable Set Problem by Semidefinite Programming