Zielonka algorithm used to iterate over an std::unordered_set, thus
producing different strategies depending on compiler...

* spot/misc/game.cc: replace std::unordered_set with std::set