Updated website address in NEWS.
Fix indexing mixed strategy profile of strategic restriction

In Python, when indexing a mixed strategy profile in a strategic
restriction by a strategy, the index of the strategy on the original
unrestricted game was being used instead of the index on the
restriction.  This revision corrects this bug.
Add support for writing strategic restriction to .nfg files

Being able to write a strategic restriction to .nfg files is essential
for using the equilibrium computation tools.  This implements this for
the underlying C++ StrategySupport, and for the Python
StrategicRestriction concept.
Bug fix in tracing strategic QRE on non-full supports.

The calcuation of function evaluations and Jacobians in strategic
QRE were incorrect in the case when the strategy profile does not
have full support.

In addition to correcting this bug, this introduces an implementation
of a player relative to a strategy support, which matches in part the
interface to the general GamePlayerRep.  This anticipates the eventual
introduction of strategic restrictions of a game, which currently are
only implemented in Python.
Fix bug in reference counting pure strategy profiles.

PureStrategyProfile had been reimplemented as a std::auto_ptr to an
internal representation class.  This was not correct vis-a-vis how this
class is used, as assigning a profile to another profile is assumed
to have copy semantics.  With an auto_ptr, these assignments were instead
transfering the internal representation pointer, leading to null
pointer dereferencing errors.  This was primarily observed in the
graphical interface, when editing strategic games after adding
strategies, but could also be triggered elsewhere.
Update version number to 13.1.1.
Merge branch 'maint13' after release of version 13.1.1.
Generate config.h for build system rather than command-line compiler defines.
Update version number to 14.0.1.
Fix out-of-bounds memory write in deleting subtrees.

This corrects a regression introduced in commit 48139744.
In that commit, internal details of canonicalization and other
cached computations in game objects were hidden from external
view and handled automatically.

An unnoticed side effect of this caused an out-of-bounds write
in deleting subtrees recursively.  In doing the recursive delete,
the extensive game is re-canonicalized along the way.  However,
previously deleted children of a node were not being removed from
the list of children at the interim steps, and so the canonicalization
was attempting to re-number those (now invalid and therefore deleted)
nodes.
Various minor updates to documentation and website mainpage.
Merge branch 'maint13'
Refactor enumpure for mixed strategies to follow algorithm strategy pattern.
Augment pure strategy profile with Nash check, convert to mixed strategy

This refactors two generally-useful functions from the gambit-enumpure
tool to the pure strategy profile class:

* IsNash() computes if the strategy profile is a Nash equilibrium
* ToMixedStrategy() returns a mixed strategy profile which is
  equivalent to the pure strategy profile, i.e., each player plays
  the corresponding pure strategy with probability one.
Augment pure behaviory profile with Nash check, convert to mixed behavior

This refactors two generally-useful functions from the gambit-enumpure
tool to the pure behavior profile class:

  * IsAgentNash() computes if the behavior profile is an agent Nash equilibrium
  * ToBehavStrategyProfile() returns a behavior strategy profile which is
    equivalent to the pure behavior profile, i.e., each player plays
    the corresponding pure actions with probability one.

This also makes more explicit that the algorithm used on extensive games
to date is *agent* Nash (considering only deviations information set-by-
information set).
Revise gambit-enumpure to require explicit flag for agent equilibria.

The behavior of gambit-enumpure previously was to report agent
equilibria for extensive games when the -S flag was not included.
This was often confusing to users, especially when using the graphical
interface.

This changes the behavior so that now the default is to use strategic
form strategies.  When the -S flag is present, the output is in
strategic form strategies; when not, strategies are converted back to
behavior strategies.

The previous behavior of returning agent form strategies is now
triggered by a new command-line switch -A.

The effect on the graphical interface will be that computing
pure strategy equilibria on the extensive game will return what most
users typically would expect.  Computing all agent equilibria is now
not accessible from the graphical interface, but this is an advanced
concept anyway and something only quite specialist users would require.
Updated ideas list.
Merge branch 'maint13'
Update Gambit front page to point to GTE as well.
Merge branch 'master_enumpure'