Update the mastermind solver to use a better algorithm

[doy]

See http://sartak.org/nh/mastermind.html - as far as I can tell, the current code uses Knuth 4, but we could do better by implementing one of the Breadth algorithms.