doc fixes
planner arena update

--HG--
rename : scripts/plannerarena/www/ompl.css => scripts/plannerarena/www/plannerarena.css