stockfish: change HEAD

The Stockfish project now uses a different repository.