godtsol: Computing the optimal search strategy for finding Waldo.