Use OpenMP to parallelize the iterations in "main.cc".

On my quadcore laptop, the version of run_HolmesBot built with
"FAST=1 OPENMP=1" completes in 193 seconds, as opposed to 466 seconds
for "FAST=1 OPENMP=0".

run_CheatBot must be built with "FAST=1 OPENMP=0", unless you
are using a compiler which supports OpenMP's "#pragma threadprivate"
directive for non-POD types. No such compiler seems to exist for
Mac OS X at the moment.
Allow HolmesBot and SmartBot to deduce valuableness.

HolmesBot and SmartBot use deduction to narrow down the possible
identities of each card, so that for example they could know that Alice's
third card is "either a green 2 or a red 4". If green 2s and red 4s are
both worthless, the bots will further deduce the card's isWorthless flag;
ditto if the card must be isPlayable. However, formerly these bots did not
bother to deduce the isValuable flag. This turns out to be a big win!

This patch improves SmartBot's average score from 19.51 to 19.66,
and HolmesBot's average score from 19.41 to 19.56.