Set intersection and difference impl bug

[Eyal Rozenberg]

We use util::difference() for sets, to check whether all of our required preprocessor definitions were provided; and util::difference() uses std::set_difference(). But... std::set_difference() only works for ordered sets (not confusing at all!) ... so let's not use it.