Correct parameter type in constructing input stream in gambit-simpdiv.
Implement unrestriction framework on remaining game objects.

This implements the m_unrestricted member as the Unrestrict() operations
on all game element objects.

As restriction is only implemented for strategic games at present, these
facilities are not yet exercised, but are set up for when agent
restrictions are put in place.

In addition, calling Unrestrict() on an object which is not a restriction
now raises an UndefinedException(), instead of returning a null pointer.
Refactor Lyapunov function solver to Nash solver paradigm.
Added documentation of StrategicRestriction class.
Added nash module to import of gambit package.
Merge remote-tracking branch 'origin/master'
Clean up documentation of Python interface.
Renamed Python MixedBehavProfile.as_mixed to .as_strategy.
Standardize on writing out [Bb]heavior rather than [Bb]behav.
Rename BehavSupport to BehaviorSupportProfile.
Standardize nomenclature of contingency iterators.
Standardize exception handling in command-line tools.
Fix unused variable warning in trie_map implementation.
Update version numbers to 14.0.3
Clarified copy tree procedure in GUI for Mac users.