New formula for Crafty 23.4 (chess engine)

[Crafty](http://www.craftychess.com/) is a chess engine compatible with Xboard.