Adding demo_pioneer and vrep_ros_bridge to documentation index for distro
Merge pull request #3916 from fspindle/master

Adding demo_pioneer and vrep_ros_bridge to documentation index for distr...