Flavor Manager changes

Human players no longer get default flavor applied (useful for
multiplayer), two bugs fixed in the flavor randomizer, the flavor
randomizer now uses the binomial RNG, and two new features have been
added to the flavor randomizer (check AuI.h for details).