An AI player for the board game Halma