Fix NPE in mine finder
Another bug in mine finder
One more bug in mine finder when there is no option at all
Minor change to mine finder to encourage cooperation between multiple instances of the bot