Fix IsFinished.
Score no longer returns positive infinity; this causes the algorithm to return negative infinity for opponent's wins.
Hide MonoDevelop user preferences.