Remove unused code for applying lpssuminst, or using compiled rewriter in lpsconstelm
Unfold board and row for the board games.
Add script to install two versions of the tools
Fix the -n option.
Add old version of tools to the script, and enable the global state graph algorithm based on this old version.
Update documentation.