Update version numbers and copyright dates for release 14.0.2
Updated webpage to announce version 14.0.2
Refactor strategic form LCP solver into Nash equilibrium class framework.
Refactor sequence form LCP solver into Nash equilibrium class framework.
Refactor UndefinedToCentroid() operation into mixed behavior profile.
Implement detailed profile output for gambit-enumpure.
Update version number for release 13.1.2.
Merge branch 'maint13' after release 13.1.2.
Remove GSoC 2014 advert from website front page.
Implement normalize operation on mixed profiles.

Mixed strategy and behavior profiles have never been required to sum to
one, as the entries in the vectors can usefully be interpreted as, for
example, counts rather than probabilities.  However, normalization of
a profile such that each player (or information) set's entries summed to
one, to be a proper probability distribution, has never been implemented.

This commit implements a Normalize() (in C++) and normalize() (in Python)
operation, which does just this. For any player or information sets where
the sum of entries is non-zero, the entries are re-scaled to sum to one.
In the case the sum is zero, the entries are left at zero.
Refactor strategic form LP solver into Nash equilibrium class framework.
Refactor sequence from LP solver into Nash equilibrium class framework.
Remove old implementation of subgame solver (superseded by new Nash framework).
Fix adding computed equilibria to solution list in strategic LCP Nash solver.
Combine nfg2html and nfg2tex into gambit-convert.

Creates new command-line program gambit-convert, incorporating
the nfg2html and nfg2tex transformations.

This is intended to form the foundation of a general-purpose tool
for converting among various file formats, and doing other simple
transformations on games.
Move Game factory functions to class methods of Game.

This moves the functions new_tree(), new_table(), read_game(), and
parse_game(), which were previously at the top-level scope of the gambit
package, into classmethods of Game.

The Game class is now exposed in the gambit package, so calls to these
operations should now be written, e.g., gambit.Game.new_tree() instead of
gambit.new_tree()
Add support for reading XML savefile in Gambit::ReadGame().

This adds support for transparently identifying and reading Gambit
savefiles in Gambit::ReadGame().  An implication is that now all
command-line tools automatically can read the GUI savefiles, without
having to remember to 'export' to .efg or .nfg.
Strategic solution interface changed to Game from StrategySupport

Convert interface of strategy-based Nash solvers to take a Game
instead of a StrategySupport.  This anticipates an upcoming merge of
support for strategic restrictions, which will encapsulate the
behavior previously implied by the use of the support class.
Convert strategic LCP Nash solver to rely on strategic restriction.

* Removed references to StrategySupport from LCP strategic solver.
  Going forward, this method will be able to rely on the implementation
  of strategic restrictions in the Game class framework to implement
  the same functionality.

* Along the way, cleaned up the formatting of the Lemke-Howson tableau
  interface to bring it more in line with Gambit coding standards.
Convert strategic LP Nash solver to rely on strategic restriction.

Removed references to StrategySupport from LP strategic solver.
Going forward, this method will be able to rely on the implementation
of strategic restrictions in the Game class framework to implement
the same functionality.