Commit prior to merge
Merge commit 'ea8bb2b3b232709650d62b2ed144767a54d623a5'

Conflicts:
	gtp/TreeSearchEngine.xml
	gtp/quadgtp.sh
	source/tesuji/games/go/benchmark/MCBenchmarkConfig.xml
	source/tesuji/games/go/benchmark/SearchBenchmarkConfig.xml
	source/tesuji/games/go/monte_carlo/LadderMoveGenerator.java
	source/tesuji/games/go/monte_carlo/MonteCarloGoAdministration.java
	source/tesuji/games/go/monte_carlo/MonteCarloPluginAdministration.java
Merge fixes