Sync to ompl/ompl master

Merging the ompl/ompl master into the miscellanea branch