An HTML5 Minesweeper game and solver