Minerekker

Solver now flags all obvious mines!