Add QueryMiragedInterface. Fixes #3189.
QueryMiragedInterface allows to make writing Mirage-aware code (GuiInterface)
simpler and less prone to error.
Replaces ResourceSupply's GetGatherers() with GetNumGatherers() as the former
was never used in a way other than the second.