Adding ros_dds_proxies to documentation index for groovy