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.
Outline unrestriction operation on Game and MixedStrategyProfile.

Create operations IsRestriction() and Unrestrict() on games, which provides
access to the unrestricted version of the gmae.

Create an outline of Unrestrict() operation on MixedStrategyProfile, which
will need to be filled in with mapping the probabilities from the
profile on the restricted game to one on the unrestricted game.
Merge remote-tracking branch 'jb/jb' into jb
Tidy up implementation of MSP<T>::Unrestrict().