fixed basis used for szegedy
unified lovasz/schrijver/szegedy solver works
removed old Lovasz/Schrijver/Szegedy implementations
random noncommutative graph factory