temporarily switch to PR branch for ompl

Author: v4hn

sources.repos

@@ -505,8 +505,8 @@ repositories:
     version: melodic-devel
   ompl:
     type: git
-    url: https://github.com/ompl/ompl.git
-    version: main
+    url: https://github.com/v4hn/ompl.git
+    version: pr-boost-without-python
   open_karto:
     type: git
     url: https://github.com/ros-perception/open_karto.git