Sync to ompl/ompl master

Merging the ompl/ompl master into the informed_sampling branch