Added a few 'internal' features for the optimizations

New preprocessor variables optimvalue_ and optimscheme_.
The experiments=number option (active when O3):
   number=0  The regular mcts search
   number=1  mcts search with linearly declining C_P
   number=2  mcts search with in the first half linearly declining C_P
             in the second half C_P = 0.01 times the original C_P.
   number=3  each search has a 50% chance to have the original C_P
             and 50% chance to have C_P = 0.01 times the original C_P.
In addition the scheme=(...) option can read dollar variables.
Added CommuteInset statement and few bugfixes

New feature: CommuteInSet statement.

A few bugfixes, like factor sizeof(WORD) too much in bucket allocations.
Manual with CommuteInSet
Changes to format O3 experiments, #reverseinclude
[doc] Added #reverseinclude
Improved hashing for bottom-up cse
Merge remote-tracking branch 'origin/master' into fastcount
Instruction generation is now also using hashmaps