HaChu on a new machine

For some weeks now, the 5 HaChu bots running on 81dojo are powered by a new machine. This is an Intel® Core™ i7-4770K CPU @ 3.50GHz × 8 (that’s 4 cores, each hyperthreaded), with 32 GB memory, running Linux Fedora 20. This should give the bot at least twice as much power compared with before, when it was running on a laptop. This should result in slightly longer look-ahead, and therefore stronger tactical power.