Add documentation that shows trade-offs of using searches

[gkapfham]

The current documentation for this tool explains how to call the tool from the command-line in an appropriate fashion. However, there is no documentation that shows that the different search techniques produce demonstrably different output. Are there certain example problems for which one search is obviously better than another? Since the tool features different search techniques (e.g., Geometric and Lattice), it would be nice if the examples and the documentation highlighted the relative strengths and weaknesses of the different methods.