Sync to ompl/ompl master

Syncing the branch with the official OMPL master.