Implement overload of [] to get strategy from mixed profile.

This implements operator [] on a mixed strategy profile, when called
with a player as argument.  The return value is the vector of
probabilities played over the player's strategies.

This is now used in gambit-enummixed to extract the individual
players' strategies, refactoring the code that was previously in
that location.