This branch attempts to implement time management from Aja's thesis.
This commit is currently identical to master
Implemented the beginnings of time management.

Updated the experiment harness, by having orego.experiment.Game send a
time_left command to each player before requesting their move; and
updated the setRemainingTime() method in orego.play.ThreadedPlayer to
implement Aja's first formula for time management.
Enabled Orego to use different time management formulae and constants.

Orego can run with its default uniform time allocation strategy, or with either
Aja's basic or enhanced formulae, using the following commandline arguments:

timeformula=uniform
timeformula=basic
timeformula=enhanced
c=0.5 (or another number)
maxply=40 (or another number)
Tuning parameters for another experiment.
Minor fix. Should be ready now.
Set up new experiment and added the Think Longer When Behind heuristic.

The experiment tries even more parameter settings for our various time
management formulas. The Think Longer When Behind heuristic is not part
of the experiment, but it is ready to be used.
Another experiment.
Testing the Think Longer When Behind heuristic for the first time.
Modified the time management logging info output, in order to generate enough data for making graphs.
Added a TimePlayer class that extends Lgrf2Player. It implements the thinking longer when behind formula.
Modified experiment.
Fixed ExperimentConfiguration to pass player=TimePlayer as a command line argument.
Set TimePlayer as the default player for Orego, increased Orego's version number to 7.14, and set good defaults for TimePlayer.
Merge branch 'master' into time_management_offshoot

Conflicts:
	src/orego/experiment/ExperimentConfiguration.java
	src/orego/experiment/Game.java
	src/orego/heuristic/HeuristicList.java
	src/orego/heuristic/HeuristicListTest.java
	src/orego/mcts/Lgrf2Player.java
	src/orego/play/ThreadedPlayer.java