#4 Play against crafty engine

This patch allows playing against the crafty engine. It extends the in-game menu as well as the player command line options. Three difficulty levels are implemented as well.

So now, one can even watch crafty playing against gnuchess or the brutal engine.

[Anonymous]