move default planner selection from SimpleSetup to tools/SelfConfig.h
Select default planners if none are specified. Cosmetic fixes.
Doc fixes. Show only planners that were used for a particular benchmark problem / version in planner arena.
minor doc fix